Package org.tweetyproject.action.query.analysis


package org.tweetyproject.action.query.analysis
  • Class
    Description
    Classes implementing this interface are capable of checking whether a transition system satisfies an action query.
    This class provides methods capable of checking if a given transition system satisfies a set of action queries in the action query language S.