rwth.i2.ltl2ba4j.formula.impl
Class Proposition
java.lang.Object
rwth.i2.ltl2ba4j.formula.impl.Proposition
- All Implemented Interfaces:
- IFormula, IProposition
public class Proposition
- extends Object
- implements IProposition
- Author:
- Eric Bodden
And
Method Summary |
boolean |
equals(Object oth)
Clients should implement this method, since the
implementation uses HashSets, which require a proper
notion of equality. |
String |
getLabel()
|
int |
hashCode()
Clients should implement this method, since the
implementation uses HashSets, which require a proper
hash code. |
String |
toString()
|
label
protected String label
Proposition
public Proposition(boolean bool)
throws IllegalArgumentException
- Throws:
IllegalArgumentException
Proposition
public Proposition(String label)
throws IllegalArgumentException
- Throws:
IllegalArgumentException
getLabel
public String getLabel()
-
- Specified by:
getLabel
in interface IProposition
- Returns:
- the label
toString
public String toString()
-
- Overrides:
toString
in class Object
hashCode
public int hashCode()
- Clients should implement this method, since the
implementation uses HashSets, which require a proper
hash code.
- Specified by:
hashCode
in interface IProposition
- Overrides:
hashCode
in class Object
- See Also:
Object.hashCode()
equals
public boolean equals(Object oth)
- Clients should implement this method, since the
implementation uses HashSets, which require a proper
notion of equality.
- Specified by:
equals
in interface IProposition
- Overrides:
equals
in class Object
- See Also:
Object.equals(java.lang.Object)
Eric Bodden, RWTH Aachen University, 2005.