|
|||||||||
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.Variable de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate
public class Predicate
A class representing a predicate. It registers a label with which it corresponds in the model structure.
Constructor Summary | |
---|---|
Predicate(String label)
Initialize a new predicate, with a given label. |
Method Summary | |
---|---|
boolean |
equals(Object other)
Indicates whether some other object is "equal to" this one. |
String |
getLabel()
Get the label of this predicate. |
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.SetDenotator |
---|
contains, logicalEquals, subset, superset |
Methods inherited from class de.uni_tuebingen.sfb.lichtenstein.formulas.Variable |
---|
getName |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Predicate(String label)
label
- The label of the predicate.| new.getLabel() == label
Method Detail |
---|
public String getLabel()
public boolean equals(Object other)
equals
in class Object
| let otherPredicate = (Predicate) other in |
result == otherPredicate.getLabel().equals(getLabel())
public int hashCode()
hashCode
in class Object
| result == getLabel().hashCode()
public String toString()
toString
in class Variable
| result == getLabel()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |