Package org.tweetyproject.action.query.syntax

Class NecessarilyQuery

java.lang.Object
org.tweetyproject.logics.pl.syntax.PlFormula
org.tweetyproject.logics.pl.syntax.Proposition
org.tweetyproject.action.query.syntax.QueryProposition
org.tweetyproject.action.query.syntax.NecessarilyQuery
All Implemented Interfaces:
Comparable<Proposition>, Formula, Atom, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
public class NecessarilyQuery extends QueryProposition
This class represents a necessarily query in the action query language S. Such queries have the following form: "necessarily F after A_1 ; A_2 ; ... ; A_n" where F is a state formula, and each A_i (0 < i < n+1) is an action.
Author:
Sebastian Homann

  • Constructor Details

    • NecessarilyQuery

      public NecessarilyQuery​(FolFormula formula)
      Creates a new necessarily query with an empty action sequence.
      Parameters:
      formula - the inner formula of this query.

    • NecessarilyQuery

      public NecessarilyQuery​(FolFormula formula, List<FolAction> actions)
      Creates a new necessarily query with the given inner formula and list of actions.
      Parameters:
      formula - the inner formula of this necessarily query.
      actions - the action sequence of this necessarily query.

    • NecessarilyQuery

      public NecessarilyQuery​(FolFormula formula, FolAction action)
      Creates a new necessarily query with the given inner formula and a single action.
      Parameters:
      formula - the inner formula of this necessarily query.
      action - a single action.

  • Method Details

    • getActions

      public List<FolAction> getActions()
      Returns:
      the list of actions of this necessarily query in the correct order.

    • getActionSignature

      public ActionSignature getActionSignature()
      Description copied from class: QueryProposition
      Returns a new action signature containing all symbols of the inner formula of this proposition.
      Overrides:
      getActionSignature in class QueryProposition
      Returns:
      a new action signature containing all symbols of the inner formula of this proposition.

    • substitute

      public QueryProposition substitute​(Map<? extends Term<?>,​? extends Term<?>> map)
      Description copied from class: QueryProposition
      Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.
      Specified by:
      substitute in class QueryProposition
      Parameters:
      map - a map from variables to constants.
      Returns:
      a new query proposition.

    • getInnerActions

      public Set<FolAction> getInnerActions()
      Description copied from class: QueryProposition
      Returns the set of all actions contained in this query proposition. This is mainly a convenience function, as only necessarily propositions contain any actions.
      Specified by:
      getInnerActions in class QueryProposition
      Returns:
      the set of all actions contained in this query proposition.

    • getVariables

      public Set<Variable> getVariables()
      Specified by:
      getVariables in class QueryProposition
      Returns:
      all variables occurring in inner formulas and actions of this query proposition.

    • toString

      public String toString()
      Specified by:
      toString in class QueryProposition