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

Packages that use PetriNetNode

Package	Description
org.tweetyproject.logics.petri.plotting
org.tweetyproject.logics.petri.syntax

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

Subclasses with type arguments of type PetriNetNode in org.tweetyproject.logics.petri.plotting

Modifier and Type	Class	Description
class	PetriNetPlotter	This class is for displaying instances of the PetriNet class graphically

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

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

Modifier and Type	Class	Description
class	Ark	A class to describe arks in a Petri net

Classes in org.tweetyproject.logics.petri.syntax that implement interfaces with type arguments of type PetriNetNode

Modifier and Type	Class	Description
class	PetriNet	A class to represent 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)
Collection<Collection<PetriNetNode>>	PetriNet.getConnectedComponents()
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)	Return add
boolean	PetriNet.add(GeneralEdge<PetriNetNode> edge)
Graph<PetriNetNode>	PetriNet.getRestriction(Collection<PetriNetNode> nodes)
void	PetriNet.setEdges(Set<Edge<PetriNetNode>> edges)	Setter Edges