[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / Impl / GraphProposition
Printer-friendly
GraphProposition (LTL2BA4J)

rwth.i2.ltl2ba4j.model.impl
Class GraphProposition

java.lang.Object
  extended by 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

Field Summary
protected  String label
           
protected  boolean negated
           
 
Constructor Summary
GraphProposition(boolean bool, boolean isNegated)
           
GraphProposition(String label, boolean isNegated)
           
 
Method Summary
 boolean equals(Object oth)
          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()
          
 String toString()
          
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

label

protected String label

negated

protected boolean negated
Constructor Detail

GraphProposition

public GraphProposition(boolean bool,
                        boolean isNegated)
                 throws IllegalArgumentException
Throws:
IllegalArgumentException

GraphProposition

public GraphProposition(String label,
                        boolean isNegated)
                 throws IllegalArgumentException
Throws:
IllegalArgumentException
Method Detail

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.
Valid HTML 4.01 Strict! Valid CSS!