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

Packages that use TransitionSystem

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

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

Methods in net.sf.tweety.action.description.reasoner 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.analysis

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

Modifier and Type	Method and Description
private java.lang.String	SActionQuerySatisfactionTester.getTransitionSystemRules(TransitionSystem transitionSystem) Calculates a normal logic program which consists only of facts describing the transition system given.
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQueries)
boolean	ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQuery) Checks whether the given transition system satisfies the given action queries.
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQueries)
boolean	ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQuery) Checks whether the given transition system satisfies the given action queries.