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, false otherwise.
  - 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, false otherwise.