rwth.i2.ltl2ba4j.model.impl
Class GraphProposition
java.lang.Object
rwth.i2.ltl2ba4j.model.impl.GraphProposition
- All Implemented Interfaces:
- IGraphProposition
- Direct Known Subclasses:
- SigmaProposition
public class GraphProposition
- extends Object
- implements IGraphProposition
- Author:
- Eric Bodden
And
label
protected String label
negated
protected boolean negated
GraphProposition
public GraphProposition(boolean bool,
boolean isNegated)
throws IllegalArgumentException
- Throws:
IllegalArgumentException
GraphProposition
public GraphProposition(String label,
boolean isNegated)
throws IllegalArgumentException
- Throws:
IllegalArgumentException
getLabel
public String getLabel()
-
- Specified by:
getLabel
in interface IGraphProposition
- Returns:
- the pure label, regardless of the negation
getFullLabel
public String getFullLabel()
-
- Specified by:
getFullLabel
in interface IGraphProposition
- Returns:
- the label, taking negation with into account
toString
public String toString()
-
- Overrides:
toString
in class Object
isNegated
public boolean isNegated()
-
- Specified by:
isNegated
in interface IGraphProposition
- Returns:
true
iff the proposition is negated
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 IGraphProposition
- 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 IGraphProposition
- Overrides:
equals
in class Object
- See Also:
Object.equals(java.lang.Object)
Eric Bodden, RWTH Aachen University, 2005.