|
||||||||||
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.Subset
public class Subset
A class for representing the atomic formula which says a variable is a subset of another variable
Constructor Summary | |
---|---|
Subset(SetDenotator subSet,
SetDenotator superSet)
Initialize a new subset formula, involving the variable which is a subset and the variable which is a superset. |
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 |
getSubsetVariable()
Returns the subset variable. |
SetDenotator |
getSupersetVariable()
Returns the superset 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 Subset(SetDenotator subSet, SetDenotator superSet)
subSet
- The variable which is a subset.superSet
- The variable which is a superset.Method Detail |
---|
public SetDenotator getSubsetVariable()
public SetDenotator getSupersetVariable()
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 |