org.jbpt.automaton

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>>

All Superinterfaces:

Cloneable, Comparable<IGObject>, IDirectedGraph<ST,S>, IDirectedHyperGraph<ST,S>, IEntity, IEntityModel<S>, IGObject, IGraph<ST,S>, IHyperGraph<ST,S>

All Known Implementing Classes:

AbstractAutomaton, Automaton

public 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>>
extends IDirectedGraph<ST,S>

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
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)

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

getDirectedEdge

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

addEdge, 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, toDOT

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

Method Detail

isComplete

boolean isComplete()

isReachable

boolean isReachable(M marking)

isReachable

boolean isReachable(M fromMarking,
                  M toMarking)

getNetSystem

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

getStates

Set<S> getStates()

getStateTransitions

Set<ST> getStateTransitions()

construct

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

getStartState

S getStartState()