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, 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 Details

    • 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, 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.