Interface ActionQuerySatisfactionTester
-
- All Known Implementing Classes:
SActionQuerySatisfactionTester
public interface ActionQuerySatisfactionTester
Classes implementing this interface are capable of checking whether a transition system satisfies an action query.- Author:
- Sebastian Homann
-
-
Method Summary
Modifier and Type Method Description boolean
isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQuery)
Checks whether the given transition system satisfies the given action queries.boolean
isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQuery)
Checks whether the given transition system satisfies the given action queries.
-
-
-
Method Detail
-
isSatisfied
boolean isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQuery)
Checks whether the given transition system satisfies the given action queries.- Parameters:
transitionSystem
- the transition system, that will be checked for satisfaction.actionQuery
- a belief base containing action queries, all of which have to be satisfied by the transition system.- Returns:
- true iff the transition system satisfies all action queries in the given belief base.
-
isSatisfied
boolean isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQuery)
Checks whether the given transition system satisfies the given action queries.- Parameters:
transitionSystem
- the transition system, that will be checked for satisfaction.actionQuery
- a set of action queries, which have to be satisfied by the transition system.- Returns:
- true iff the transition system satisfies all action queries in the given set.
-
-