org.jbpt.automaton

Class Automaton

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<StateTransition,State,Flow,Node,Place,Transition,Marking>

org.jbpt.automaton.Automaton

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IAutomaton<StateTransition,State,Flow,Node,Place,Transition,Marking>, IDirectedGraph<StateTransition,State>, IGraph<StateTransition,State>, IDirectedHyperGraph<StateTransition,State>, IEntity, IEntityModel<State>, IGObject, IHyperGraph<StateTransition,State>

public class Automaton
extends AbstractAutomaton<StateTransition,State,Flow,Node,Place,Transition,Marking>

Author:

Artem Polyvyanyy

Field Summary

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

edges, vertices

Constructor Summary

Constructors

Constructor and Description
Automaton()
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys, int maxSize)

Method Summary

Methods inherited from class org.jbpt.automaton.AbstractAutomaton

addEdge, construct, getNetSystem, getStartState, getStates, getStateTransitions, isComplete, isReachable, isReachable, 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

Automaton

public Automaton()

Automaton

public Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys,
         int maxSize)

Automaton

public Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)