Uses of Class
org.tweetyproject.logics.petri.syntax.PetriNetNode
-
Uses of PetriNetNode in org.tweetyproject.logics.petri.syntax
Modifier and TypeClassDescriptionclass
A class to describe places in a Petri netclass
A class to describe transitions in a Petri netModifier and TypeMethodDescriptionPetriNet.getChildren(Node node)
PetriNet.getComplementGraph(int selfloops)
PetriNet.getEdge(PetriNetNode a, PetriNetNode b)
PetriNet.getEdges()
PetriNet.getNeighbors(PetriNetNode node)
PetriNet.getNodes()
PetriNet.getParents(Node node)
PetriNet.getRestriction(Collection<PetriNetNode> nodes)
PetriNet.getStronglyConnectedComponents()
PetriNet.getSubgraphs()
PetriNet.iterator()
Modifier and TypeMethodDescriptionboolean
PetriNet.add(PetriNetNode node)
boolean
PetriNet.areAdjacent(PetriNetNode a, PetriNetNode b)
boolean
PetriNet.existsDirectedPath(PetriNetNode node1, PetriNetNode node2)
PetriNet.getEdge(PetriNetNode a, PetriNetNode b)
PetriNet.getNeighbors(PetriNetNode node)
Modifier and TypeMethodDescriptionboolean
PetriNet.add(Edge<PetriNetNode> edge)
boolean
PetriNet.add(GeneralEdge<PetriNetNode> edge)
PetriNet.getRestriction(Collection<PetriNetNode> nodes)