Record Class PreparedSmtRule

java.lang.Object

java.lang.Record

tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

public record PreparedSmtRule(RelationalQuery partialPrecondition, RelationalQuery candidatePrecondition, Term<TruthValue> assertedTerm, org.eclipse.collections.api.map.primitive.ObjectIntMap<NodeVariable> parameterMap, List<PreparedSmtRule.Influence> influences)
extends Record

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	PreparedSmtRule.Influence

Constructor Summary

Constructors

Constructor	Description
PreparedSmtRule(RelationalQuery partialPrecondition, RelationalQuery candidatePrecondition, Term<TruthValue> assertedTerm, org.eclipse.collections.api.map.primitive.ObjectIntMap<NodeVariable> parameterMap, List<PreparedSmtRule.Influence> influences)	Creates an instance of a PreparedSmtRule record class.

Method Summary

Modifier and Type	Method	Description
Term<TruthValue>	assertedTerm()	Returns the value of the assertedTerm record component.
RelationalQuery	candidatePrecondition()	Returns the value of the candidatePrecondition record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
RelationalQuery	getQuery(Concreteness concreteness)
final int	hashCode()	Returns a hash code value for this object.
List<PreparedSmtRule.Influence>	influences()	Returns the value of the influences record component.
static PreparedSmtRule	of(TheoryRule rule)
org.eclipse.collections.api.map.primitive.ObjectIntMap<NodeVariable>	parameterMap()	Returns the value of the parameterMap record component.
RelationalQuery	partialPrecondition()	Returns the value of the partialPrecondition record component.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

PreparedSmtRule

public PreparedSmtRule(RelationalQuery partialPrecondition,
 RelationalQuery candidatePrecondition,
 Term<TruthValue> assertedTerm,
 org.eclipse.collections.api.map.primitive.ObjectIntMap<NodeVariable> parameterMap,
 List<PreparedSmtRule.Influence> influences)

Creates an instance of a PreparedSmtRule record class.

Parameters:

partialPrecondition - the value for the partialPrecondition record component

candidatePrecondition - the value for the candidatePrecondition record component

assertedTerm - the value for the assertedTerm record component

parameterMap - the value for the parameterMap record component

influences - the value for the influences record component

Method Details

of

public static PreparedSmtRule of(TheoryRule rule)

getQuery

public RelationalQuery getQuery(Concreteness concreteness)

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

partialPrecondition

public RelationalQuery partialPrecondition()

Returns the value of the partialPrecondition record component.

Returns:

the value of the partialPrecondition record component

candidatePrecondition

public RelationalQuery candidatePrecondition()

Returns the value of the candidatePrecondition record component.

Returns:

the value of the candidatePrecondition record component

assertedTerm

public Term<TruthValue> assertedTerm()

Returns the value of the assertedTerm record component.

Returns:

the value of the assertedTerm record component

parameterMap

public org.eclipse.collections.api.map.primitive.ObjectIntMap<NodeVariable> parameterMap()

Returns the value of the parameterMap record component.

Returns:

the value of the parameterMap record component

influences

public List<PreparedSmtRule.Influence> influences()

Returns the value of the influences record component.

Returns:

the value of the influences record component