[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / IGraphFactory
Printer-friendly
IGraphFactory (LTL2BA4J)

rwth.i2.ltl2ba4j.model
Interface IGraphFactory

All Known Implementing Classes:
GraphFactory

public interface IGraphFactory

Author:
Eric Bodden Factory to instantiate graph components of the finite state machine.

Method Summary
 IGraphProposition Proposition(String label, boolean isNegated)
          A proposition with the given label.
 IGraphProposition SigmaProposition()
          The unique SIGMA proposition, meaning any symbol.
 IState State(String label, boolean isInitial, boolean isFinal)
          Constructs a state with the given label.
 ITransition Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
          A transition with the given label, source and target state
 

Method Detail

State

IState State(String label,
             boolean isInitial,
             boolean isFinal)
Constructs a state with the given label.

Parameters:
label - label of the state
isInitial - true if the state is the initial state
isFinal - true if the state is final
Returns:
the state

Transition

ITransition Transition(Set<IGraphProposition> labels,
                       IState sourceState,
                       IState targetState)
A transition with the given label, source and target state

Parameters:
labels - label
sourceState - source state of the transition
targetState - target state of the transition
Returns:
the transition

Proposition

IGraphProposition Proposition(String label,
                              boolean isNegated)
A proposition with the given label. It might be negated.

Parameters:
label - label
isNegated - it true, the proposition is negated
Returns:
the proposition

SigmaProposition

IGraphProposition SigmaProposition()
The unique SIGMA proposition, meaning any symbol.

Returns:
the unique SIGMA proposition


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