[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / Class-use / IGraphProposition
Printer-friendly
Uses of Interface rwth.i2.ltl2ba4j.model.IGraphProposition (LTL2BA4J)

Uses of Interface
rwth.i2.ltl2ba4j.model.IGraphProposition

Packages that use IGraphProposition
rwth.i2.ltl2ba4j.model Interfaces defining finite state machines. 
rwth.i2.ltl2ba4j.model.impl Default implementation. 
 

Uses of IGraphProposition in rwth.i2.ltl2ba4j.model
 

Methods in rwth.i2.ltl2ba4j.model that return IGraphProposition
 IGraphProposition IGraphFactory.Proposition(String label, boolean isNegated)
          A proposition with the given label.
 IGraphProposition IGraphFactory.SigmaProposition()
          The unique SIGMA proposition, meaning any symbol.
 

Methods in rwth.i2.ltl2ba4j.model that return types with arguments of type IGraphProposition
 Set<IGraphProposition> ITransition.getLabels()
           
 

Method parameters in rwth.i2.ltl2ba4j.model with type arguments of type IGraphProposition
 ITransition IGraphFactory.Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
          A transition with the given label, source and target state
 

Uses of IGraphProposition in rwth.i2.ltl2ba4j.model.impl
 

Classes in rwth.i2.ltl2ba4j.model.impl that implement IGraphProposition
 class GraphProposition
           
 class SigmaProposition
           
 

Fields in rwth.i2.ltl2ba4j.model.impl with type parameters of type IGraphProposition
protected  Set<IGraphProposition> Transition.labels
           
 

Methods in rwth.i2.ltl2ba4j.model.impl that return IGraphProposition
 IGraphProposition GraphFactory.Proposition(String label, boolean isNegated)
          A proposition with the given label.
 IGraphProposition GraphFactory.SigmaProposition()
          The unique SIGMA proposition, meaning any symbol.
 

Methods in rwth.i2.ltl2ba4j.model.impl that return types with arguments of type IGraphProposition
 Set<IGraphProposition> Transition.getLabels()
          
 

Method parameters in rwth.i2.ltl2ba4j.model.impl with type arguments of type IGraphProposition
 ITransition GraphFactory.Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
          A transition with the given label, source and target state
 

Constructor parameters in rwth.i2.ltl2ba4j.model.impl with type arguments of type IGraphProposition
Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
           
 



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