|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |