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