[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 / SigmaProposition
Printer-friendly
SigmaProposition (LTL2BA4J)

rwth.i2.ltl2ba4j.model.impl
Class SigmaProposition

java.lang.Object
  extended by rwth.i2.ltl2ba4j.model.impl.GraphProposition
      extended by rwth.i2.ltl2ba4j.model.impl.SigmaProposition
All Implemented Interfaces:
IGraphProposition

public class SigmaProposition
extends GraphProposition
implements IGraphProposition

Author:
Eric Bodden And

Field Summary
 
Fields inherited from class rwth.i2.ltl2ba4j.model.impl.GraphProposition
label, negated
 
Constructor Summary
SigmaProposition()
           
 
Method Summary
 
Methods inherited from class rwth.i2.ltl2ba4j.model.impl.GraphProposition
equals, getFullLabel, getLabel, hashCode, isNegated, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface rwth.i2.ltl2ba4j.model.IGraphProposition
equals, getFullLabel, getLabel, hashCode, isNegated
 

Constructor Detail

SigmaProposition

public SigmaProposition()


Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!