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

rwth.i2.ltl2ba4j.formula.impl
Class Not

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.Not
All Implemented Interfaces:
IFormula, INot, IUnaryFormula

public class Not
extends Object
implements INot

Author:
Eric Bodden And

Field Summary
protected  IFormula subformula
           
 
Constructor Summary
Not(IFormula subFormula)
           
 
Method Summary
 IFormula getSubformula()
          
 String toString()
          
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

subformula

protected IFormula subformula
Constructor Detail

Not

public Not(IFormula subFormula)
Method Detail

toString

public String toString()

Overrides:
toString in class Object

getSubformula

public IFormula getSubformula()

Specified by:
getSubformula in interface IUnaryFormula
Returns:
the subformula or proposition


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