Uses of Class
org.tweetyproject.action.transitionsystem.TransitionSystem

Packages that use TransitionSystem

Package	Description
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.query.analysis

Uses of TransitionSystem in org.tweetyproject.action.description.reasoner

Methods in org.tweetyproject.action.description.reasoner that return TransitionSystem

Modifier and Type	Method	Description
TransitionSystem	CTransitionSystemCalculator.calculateTransitionSystem(CActionDescription actionDescription, ActionSignature signature)	Calculates a transition system as described by the given action description using all symbols in the given action signature.

Uses of TransitionSystem in org.tweetyproject.action.query.analysis

Methods in org.tweetyproject.action.query.analysis with parameters of type TransitionSystem

Modifier and Type	Method	Description
boolean	ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, Set<ActionQuery> actionQuery)	Checks whether the given transition system satisfies the given action queries.
boolean	ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQuery)	Checks whether the given transition system satisfies the given action queries.
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, Set<ActionQuery> actionQueries)
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQueries)