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 Description TransitionSystemCTransitionSystemCalculator. 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 Description private java.lang.StringSActionQuerySatisfactionTester. getTransitionSystemRules(TransitionSystem transitionSystem)Calculates a normal logic program which consists only of facts describing the transition system given.booleanActionQuerySatisfactionTester. isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQuery)Checks whether the given transition system satisfies the given action queries.booleanActionQuerySatisfactionTester. isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQuery)Checks whether the given transition system satisfies the given action queries.booleanSActionQuerySatisfactionTester. isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQueries)booleanSActionQuerySatisfactionTester. isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQueries)
-