public interface ActionQuerySatisfactionTester
Modifier and Type | Method and Description |
---|---|
boolean |
isSatisfied(TransitionSystem transitionSystem,
BeliefBase actionQuery)
Checks whether the given transition system satisfies the given action
queries.
|
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)
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.boolean isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQuery)
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.