[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 / IState
Printer-friendly
Uses of Interface rwth.i2.ltl2ba4j.model.IState (LTL2BA4J)

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

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

Uses of IState in rwth.i2.ltl2ba4j.model
 

Methods in rwth.i2.ltl2ba4j.model that return IState
 IState ITransition.getSourceState()
           
 IState ITransition.getTargetState()
           
 IState IGraphFactory.State(String label, boolean isInitial, boolean isFinal)
          Constructs a state with the given label.
 

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

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

Classes in rwth.i2.ltl2ba4j.model.impl that implement IState
 class State
           
 

Fields in rwth.i2.ltl2ba4j.model.impl declared as IState
protected  IState Transition.sourceState
           
protected  IState Transition.targetState
           
 

Methods in rwth.i2.ltl2ba4j.model.impl that return IState
 IState Transition.getSourceState()
          
 IState Transition.getTargetState()
          
 IState GraphFactory.State(String label, boolean isInitial, boolean isFinal)
          Constructs a state with the given label.
 

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

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



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