|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl
de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula
de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality
public final class FirstOrderEquality
A class representing the atomic formula that says two first order variables are equal.
Constructor Summary | |
---|---|
FirstOrderEquality(FirstOrderVariable first,
FirstOrderVariable second)
Initialize a new first order equality, involving two first order variables. |
Method Summary | |
---|---|
void |
accept(FormulaVisitor visitor)
Accept a formula visitor. |
protected Set<Predicate> |
computePredicates()
Return all predicates in this formula. |
protected Set<Variable> |
computeVariables()
Simply return the two variables. |
boolean |
containsVariable(Variable var)
Returns whether this formula contains the given variable. |
boolean |
equals(Object other)
Indicates whether some other object is “equal to” this one. |
FirstOrderVariable |
getFirstVariable()
Returns the first variable. |
FirstOrderVariable |
getSecondVariable()
Returns the second variable. |
int |
hashCode()
Returns a hash code value for the object. |
String |
toString()
Returns a string representation of the object. |
Methods inherited from class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula |
---|
getNormalForm, isFree |
Methods inherited from class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl |
---|
and, exists, exists, forAll, forAll, getFreeVariables, getPredicates, getVariables, iff, implies, isClosed, not, or |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public FirstOrderEquality(FirstOrderVariable first, FirstOrderVariable second)
first
- The first variable.second
- The second variable.Method Detail |
---|
public FirstOrderVariable getFirstVariable()
public FirstOrderVariable getSecondVariable()
protected Set<Variable> computeVariables()
computeVariables
in class FormulaImpl
public boolean containsVariable(Variable var)
var
- The variable to check.protected Set<Predicate> computePredicates()
computePredicates
in class FormulaImpl
public boolean equals(Object other)
equals
in class FormulaImpl
public int hashCode()
hashCode
in class FormulaImpl
public String toString()
toString
in class FormulaImpl
public void accept(FormulaVisitor visitor) throws VisitorException
visitor
- The visitor that is to be accepted to do its work.
VisitorException
- [CAN]
A visitor can throw an exception.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |