net.sf.tweety.action.query.analysis

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 and Description
boolean	isSatisfied(TransitionSystem transitionSystem, net.sf.tweety.commons.BeliefBase actionQuery) Checks whether the given transition system satisfies the given action queries.
boolean	isSatisfied(TransitionSystem transitionSystem, Set<ActionQuery> actionQuery) Checks whether the given transition system satisfies the given action queries.

Method Detail

isSatisfied

boolean isSatisfied(TransitionSystem transitionSystem,
                    net.sf.tweety.commons.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,
                    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.