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.