|
||||||||||
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.Inclusion
public final class Inclusion
A class representing inclusion of a first order variable in a set denotator.
Constructor Summary | |
---|---|
Inclusion(FirstOrderVariable included,
SetDenotator containing)
Initialize a new inclusion, 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. |
SetDenotator |
getContainingVariable()
Returns the containing variable. |
FirstOrderVariable |
getIncludedVariable()
Returns the included 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 Inclusion(FirstOrderVariable included, SetDenotator containing)
included
- The variable which is included in the other variable.containing
- The variable which includes the other variable.Method Detail |
---|
public FirstOrderVariable getIncludedVariable()
public SetDenotator getContainingVariable()
protected Set<Variable> computeVariables()
computeVariables
in class FormulaImpl
result.contains(getContainingVariable())
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 |