|
||||||||||
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.ImmediatePrecedence
public final class ImmediatePrecedence
A class representing the atomic formula which says one node immediately precedes another.
Constructor Summary | |
---|---|
ImmediatePrecedence(FirstOrderVariable preceder,
FirstOrderVariable preceded)
Initialize a new immediate 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 ImmediatePrecedence(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
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 |