rwth.i2.ltl2ba4j.model
Interface IGraphProposition

All Known Implementing Classes:
GraphProposition, SigmaProposition

public interface IGraphProposition

Author:
Eric Bodden Represents a proposition attached to a transition.

Method Summary
 boolean equals(Object obj)
          Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality.
 String getFullLabel()
           
 String getLabel()
           
 int hashCode()
          Clients should implement this method, since the implementation uses HashSets, which require a proper hash code.
 boolean isNegated()
           
 

Method Detail

getLabel

String getLabel()
Returns:
the pure label, regardless of the negation

getFullLabel

String getFullLabel()
Returns:
the label, taking negation with into account

isNegated

boolean isNegated()
Returns:
true iff the proposition is negated

equals

boolean equals(Object obj)
Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality.

Overrides:
equals in class Object
See Also:
Object.equals(java.lang.Object)

hashCode

int hashCode()
Clients should implement this method, since the implementation uses HashSets, which require a proper hash code.

Overrides:
hashCode in class Object
See Also:
Object.hashCode()


Eric Bodden, RWTH Aachen University, 2005.