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

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

Packages that use ITransition
rwth.i2.ltl2ba4j JNI bridge to ltl2ba. 
rwth.i2.ltl2ba4j.internal.jnibridge   
rwth.i2.ltl2ba4j.model Interfaces defining finite state machines. 
rwth.i2.ltl2ba4j.model.impl Default implementation. 
 

Uses of ITransition in rwth.i2.ltl2ba4j
 

Methods in rwth.i2.ltl2ba4j that return types with arguments of type ITransition
static Collection<ITransition> LTL2BA4J.formulaToBA(IFormula formula)
          Converts the given formula into a finite state machine.
static Collection<ITransition> LTL2BA4J.formulaToBA(String formulaAsString)
          Converts the given formula into a finite state machine.
 

Method parameters in rwth.i2.ltl2ba4j with type arguments of type ITransition
static String DottyWriter.automatonToDot(Collection<ITransition> automaton)
           
 

Uses of ITransition in rwth.i2.ltl2ba4j.internal.jnibridge
 

Methods in rwth.i2.ltl2ba4j.internal.jnibridge that return types with arguments of type ITransition
 Collection<ITransition> BAJni.getTransitions()
          Returns the resulting automaton as a list of transitions.
 

Uses of ITransition in rwth.i2.ltl2ba4j.model
 

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

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

Classes in rwth.i2.ltl2ba4j.model.impl that implement ITransition
 class Transition
           
 

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



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