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 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)
-