org.jbpt.automaton

Class AbstractAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.AbstractGraphNotifier<E,V>

org.jbpt.hypergraph.abs.AbstractMultiHyperGraph<E,V>

org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph<E,V>

org.jbpt.graph.abs.AbstractMultiDirectedGraph<ST,S>

org.jbpt.automaton.AbstractAutomaton<ST,S,F,N,P,T,M>

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IAutomaton<ST,S,F,N,P,T,M>, IDirectedGraph<ST,S>, IGraph<ST,S>, IDirectedHyperGraph<ST,S>, IEntity, IEntityModel<S>, IGObject, IHyperGraph<ST,S>

Direct Known Subclasses:

Automaton

public class AbstractAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends AbstractMultiDirectedGraph<ST,S>
implements IAutomaton<ST,S,F,N,P,T,M>

Field Summary

Fields inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

edges, vertices

Constructor Summary

Constructors

Constructor and Description
AbstractAutomaton()
AbstractAutomaton(INetSystem<F,N,P,T,M> sys)
AbstractAutomaton(INetSystem<F,N,P,T,M> sys, int maxSize)

Method Summary

Methods

Modifier and Type	Method and Description
ST	addEdge(S s, S t)
void	construct(INetSystem<F,N,P,T,M> sys, int maxSize)
INetSystem<F,N,P,T,M>	getNetSystem()
S	getStartState()
Set<S>	getStates()
Set<ST>	getStateTransitions()
boolean	isComplete()
boolean	isReachable(M marking)
boolean	isReachable(M fromMarking, M toMarking)
String	toDOT()

Methods inherited from class org.jbpt.graph.abs.AbstractMultiDirectedGraph

addEdge, areAdjacent, getDirectedEdge, getEdge, getEdges, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTargets, isMultiGraph, removeVertex, removeVertices

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph

addEdge, addEdge, checkEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiHyperGraph

addVertex, addVertices, areAdjacent, checkEdge, contains, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getEntities, getFreshVertex, getVertices, removeEdge, removeEdges, toString

Methods inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

addIndex, addIndex, clearMembers, removeIndex, removeIndex

Methods inherited from class org.jbpt.hypergraph.abs.GObject

clone, compareTo, equals, getDescription, getId, getLabel, getName, getTag, hashCode, setDescription, setId, setName, setTag

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.jbpt.graph.abs.IDirectedGraph

getDirectedEdge

Methods inherited from interface org.jbpt.hypergraph.abs.IDirectedHyperGraph

addEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTarget, getEdgesWithTargets, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from interface org.jbpt.graph.abs.IGraph

areAdjacent, getEdge, getEdges

Methods inherited from interface org.jbpt.hypergraph.abs.IHyperGraph

addEdge, addEdge, addVertex, addVertices, areAdjacent, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getFreshVertex, getVertices, isMultiGraph, removeEdge, removeEdges, removeVertex, removeVertices

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

clone, getLabel

Methods inherited from interface org.jbpt.hypergraph.abs.IEntityModel

getEntities

Constructor Detail

AbstractAutomaton

public AbstractAutomaton(INetSystem<F,N,P,T,M> sys)

AbstractAutomaton

public AbstractAutomaton(INetSystem<F,N,P,T,M> sys,
                 int maxSize)

AbstractAutomaton

public AbstractAutomaton()

Method Detail

addEdge

public ST addEdge(S s,
         S t)

Specified by:

addEdge in interface IDirectedHyperGraph<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>>

Overrides:

addEdge in class AbstractMultiDirectedHyperGraph<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>>

isComplete

public boolean isComplete()

Specified by:

isComplete in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

isReachable

public boolean isReachable(M marking)

Specified by:

isReachable in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

isReachable

public boolean isReachable(M fromMarking,
                  M toMarking)

Specified by:

isReachable in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getNetSystem

public INetSystem<F,N,P,T,M> getNetSystem()

Specified by:

getNetSystem in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

construct

public void construct(INetSystem<F,N,P,T,M> sys,
             int maxSize)

Specified by:

construct in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

toDOT

public String toDOT()

Specified by:

toDOT in interface IGraph<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>>

Overrides:

toDOT in class AbstractMultiDirectedGraph<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>>

getStates

public Set<S> getStates()

Specified by:

getStates in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getStateTransitions

public Set<ST> getStateTransitions()

Specified by:

getStateTransitions in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getStartState

public S getStartState()

Specified by:

getStartState in interface IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>