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, java.util.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, java.util.Set<ActionQuery> actionQueries)
boolean
SActionQuerySatisfactionTester. isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQueries)
-