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

rwth.i2.ltl2ba4j.formula.impl
Class Proposition

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.Proposition
All Implemented Interfaces:
IFormula, IProposition

public class Proposition
extends Object
implements IProposition

Author:
Eric Bodden And

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

Field Detail

label

protected String label
Constructor Detail

Proposition

public Proposition(boolean bool)
            throws IllegalArgumentException
Throws:
IllegalArgumentException

Proposition

public Proposition(String label)
            throws IllegalArgumentException
Throws:
IllegalArgumentException
Method Detail

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