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

rwth.i2.ltl2ba4j.model.impl
Class GraphFactory

java.lang.Object
  extended by rwth.i2.ltl2ba4j.model.impl.GraphFactory
All Implemented Interfaces:
IGraphFactory

public class GraphFactory
extends Object
implements IGraphFactory

Author:
Eric Bodden GraphFactory

Constructor Summary
GraphFactory()
           
 
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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphFactory

public GraphFactory()
Method Detail

State

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

Specified by:
State in interface IGraphFactory
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

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

Specified by:
Transition in interface IGraphFactory
Parameters:
labels - label
sourceState - source state of the transition
targetState - target state of the transition
Returns:
the transition

Proposition

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

Specified by:
Proposition in interface IGraphFactory
Parameters:
label - label
isNegated - it true, the proposition is negated
Returns:
the proposition

SigmaProposition

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

Specified by:
SigmaProposition in interface IGraphFactory
Returns:
the unique SIGMA proposition


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