Uses of Class
net.sf.tweety.action.transitionsystem.TransitionSystem

Packages that use TransitionSystem

Package	Description
net.sf.tweety.action
net.sf.tweety.action.description
net.sf.tweety.action.query

Uses of TransitionSystem in net.sf.tweety.action

Methods in net.sf.tweety.action with parameters of type TransitionSystem

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

Uses of TransitionSystem in net.sf.tweety.action.description

Methods in net.sf.tweety.action.description that return TransitionSystem

Modifier and Type	Method and 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 net.sf.tweety.action.query

Methods in net.sf.tweety.action.query with parameters of type TransitionSystem

Modifier and Type	Method and Description
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, net.sf.tweety.commons.BeliefBase actionQueries)
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, Set<ActionQuery> actionQueries)