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

Packages that use Transition

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

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

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

Modifier and Type	Method	Description
Transition	PetriNet.createEmptyTransition(Marking marking)	Add a transition which is enabled at the specified marking and does not change the marking
Transition	Ark.getTransition()	Return the transition of this ark

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

Modifier and Type	Method	Description
Set<Transition>	PetriNet.getEnabledTransitions()	Retrieve the transitions that are enabled in the current state (token distribution) of the net
List<Transition>	PetriNet.getTransitions()	Return the transitions

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

Modifier and Type	Method	Description
boolean	PetriNet.add(Transition transition)	Add a transition to the Petri net
void	PetriNet.fire(Transition transition)	Fire

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

Modifier and Type	Method	Description
void	PetriNet.setTransitions(List<Transition> transitions)	Setter transitions

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

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 Transition in org.tweetyproject.logics.petri.syntax.reachability_graph

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that return Transition

Modifier and Type	Method	Description
Transition	MarkingEdge.getTransition()	Return the transition

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

Modifier and Type	Method	Description
void	MarkingEdge.setTransition(Transition transition)	Setter Transition

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

Modifier	Constructor	Description
	MarkingEdge(Marking from, Marking to, Transition transition)	Create a new instance