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

Packages that use Place

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

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

Methods in org.tweetyproject.logics.petri.syntax that return Place

Modifier and Type	Method	Description
Place	Ark.getPlace()

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

Modifier and Type	Method	Description
Set<Place>	PetriNet.getPlaces()

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

Modifier and Type	Method	Description
boolean	PetriNet.add(Place place)	Add a place to the Petri net
int	Place.compareTo(Place that)

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

Modifier and Type	Method	Description
void	PetriNet.setPlaces(Set<Place> places)

Constructors in org.tweetyproject.logics.petri.syntax with parameters of type Place

Modifier	Constructor	Description
	Ark(Place place, Transition transition)	Create a new ark from a place to a transition
	Ark(Place place, Transition transition, int weight)	Create a new ark from a place to a transition with a certain weight
	Ark(Transition transition, Place place)	Create a new ark from a transition to a place
	Ark(Transition transition, Place place, int weight)	Create a new ark from a transition to a place with a certain weight

Uses of Place in org.tweetyproject.logics.petri.syntax.reachability_graph

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

Modifier and Type	Method	Description
Set<Place>	Marking.getPlaces()

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

Modifier and Type	Method	Description
int	Marking.getTokens(Place place)
boolean	Marking.hasPlace(Place place)
void	Marking.putTokens(Place place, int token)	Specify the number of tokens at the place at this marking

Constructor parameters in org.tweetyproject.logics.petri.syntax.reachability_graph with type arguments of type Place

Modifier	Constructor	Description
	Marking(Set<Place> places)	Create a new instance