|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence
public final class Precedence
A class representing the atomic formula which says one node precedes another.
Constructor Summary | |
---|---|
Precedence(FirstOrderVariable preceder,
FirstOrderVariable preceded)
Initialize a new precedence, taking two variables as arguments. |
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 |
getPrecededVariable()
Returns the preceded variable. |
FirstOrderVariable |
getPrecedingVariable()
Returns the preceding 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 Precedence(FirstOrderVariable preceder, FirstOrderVariable preceded)
preceder
- The variable which is preceding the other variable.preceded
- The variable which is preceded by the other variable.Method Detail |
---|
public FirstOrderVariable getPrecedingVariable()
public FirstOrderVariable getPrecededVariable()
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
result == getPrecedingVariable().toString() + " ≺≺ " + getPrecededVariable().toString()
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 |