Class NecessarilyQuery

    • Constructor Detail

      • 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,
                                java.util.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 Detail

      • getActions

        public java.util.List<FolAction> getActions()
        Returns the list of actions of this necessarily query in the correct order.
        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​(java.util.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 java.util.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 java.util.Set<Variable> getVariables()
        Description copied from class: QueryProposition
        Returns all variables occuring in inner formulas and actions of this query proposition.
        Specified by:
        getVariables in class QueryProposition
        Returns:
        all variables occuring in inner formulas and actions of this query proposition.