public class Automaton extends AbstractAutomaton<StateTransition,State,Flow,Node,Place,Transition,Marking>
edges, vertices| Constructor and Description |
|---|
Automaton() |
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys) |
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys,
int maxSize) |
addEdge, construct, getNetSystem, getStartState, getStates, getStateTransitions, isComplete, isReachable, isReachable, toDOTaddEdge, areAdjacent, getDirectedEdge, getEdge, getEdges, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTargets, isMultiGraph, removeVertex, removeVerticesaddEdge, addEdge, checkEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdgesaddVertex, addVertices, areAdjacent, checkEdge, contains, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getEntities, getFreshVertex, getVertices, removeEdge, removeEdges, toStringaddIndex, addIndex, clearMembers, removeIndex, removeIndexclone, compareTo, equals, getDescription, getId, getLabel, getName, getTag, hashCode, setDescription, setId, setName, setTagfinalize, getClass, notify, notifyAll, wait, wait, waitgetDirectedEdgeaddEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTarget, getEdgesWithTargets, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdgesareAdjacent, getEdge, getEdgesaddEdge, addEdge, addVertex, addVertices, areAdjacent, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getFreshVertex, getVertices, isMultiGraph, removeEdge, removeEdges, removeVertex, removeVerticesgetDescription, getId, getName, getTag, setDescription, setId, setName, setTagcompareTogetEntitiespublic Automaton()
public Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys, int maxSize)
public Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Copyright © 2017. All rights reserved.