Uses of Class
org.tweetyproject.logics.petri.syntax.PetriNetNode

Packages that use PetriNetNode

Package	Description
org.tweetyproject.logics.petri.syntax

Uses of PetriNetNode in org.tweetyproject.logics.petri.syntax

Subclasses of PetriNetNode in org.tweetyproject.logics.petri.syntax

Modifier and Type	Class	Description
class	Place	A class to describe places in a Petri net
class	Transition	A class to describe transitions in a Petri net

Methods in org.tweetyproject.logics.petri.syntax that return types with arguments of type PetriNetNode

Modifier and Type	Method	Description
Collection<PetriNetNode>	PetriNet.getChildren(Node node)
Graph<PetriNetNode>	PetriNet.getComplementGraph(int selfloops)
Edge<PetriNetNode>	PetriNet.getEdge(PetriNetNode a, PetriNetNode b)
Set<Edge<PetriNetNode>>	PetriNet.getEdges()
Collection<PetriNetNode>	PetriNet.getNeighbors(PetriNetNode node)
Set<PetriNetNode>	PetriNet.getNodes()
Collection<PetriNetNode>	PetriNet.getParents(Node node)
Graph<PetriNetNode>	PetriNet.getRestriction(Collection<PetriNetNode> nodes)
Collection<Collection<PetriNetNode>>	PetriNet.getStronglyConnectedComponents()
Collection<Graph<PetriNetNode>>	PetriNet.getSubgraphs()
Iterator<PetriNetNode>	PetriNet.iterator()

Methods in org.tweetyproject.logics.petri.syntax with parameters of type PetriNetNode

Modifier and Type	Method	Description
boolean	PetriNet.add(PetriNetNode node)
boolean	PetriNet.areAdjacent(PetriNetNode a, PetriNetNode b)
boolean	PetriNet.existsDirectedPath(PetriNetNode node1, PetriNetNode node2)
Edge<PetriNetNode>	PetriNet.getEdge(PetriNetNode a, PetriNetNode b)
Collection<PetriNetNode>	PetriNet.getNeighbors(PetriNetNode node)

Method parameters in org.tweetyproject.logics.petri.syntax with type arguments of type PetriNetNode

Modifier and Type	Method	Description
boolean	PetriNet.add(Edge<PetriNetNode> edge)
boolean	PetriNet.add(GeneralEdge<PetriNetNode> edge)
Graph<PetriNetNode>	PetriNet.getRestriction(Collection<PetriNetNode> nodes)
void	PetriNet.setEdges(Set<Edge<PetriNetNode>> edges)