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

Nested Class Summary

Nested classes/interfaces inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.Atom

Atom.AtomImpl, Atom.RETURN_SET_PREDICATE

Constructor Summary

Constructors

Constructor	Description
NecessarilyQuery(FolFormula formula)	Creates a new necessarily query with an empty action sequence.
NecessarilyQuery(FolFormula formula, List<FolAction> actions)	Creates a new necessarily query with the given inner formula and list of actions.
NecessarilyQuery(FolFormula formula, FolAction action)	Creates a new necessarily query with the given inner formula and a single action.

Method Summary

Modifier and Type	Method	Description
List<FolAction>	getActions()	Retrieves the list of actions associated with this necessarily query in the correct order.
ActionSignature	getActionSignature()	Returns a new action signature containing all symbols of the inner formula of this proposition.
Set<FolAction>	getInnerActions()	Returns the set of all actions contained in this query proposition.
Set<Variable>	getVariables()	Returns all variables occurring in the inner formulas and actions of this query proposition.
QueryProposition	substitute(Map<? extends Term<?>,? extends Term<?>> map)	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.
String	toString()

Methods inherited from class org.tweetyproject.action.query.syntax.QueryProposition

getInnerFormula

Methods inherited from class org.tweetyproject.logics.pl.syntax.Proposition

addArgument, clone, collapseAssociativeFormulas, compareTo, equals, getArguments, getAtoms, getLiterals, getModels, getName, getPredicate, getPredicates, getSignature, hashCode, isComplete, isLiteral, numberOfOccurrences, replace, setPredicate, toCnf, toNnf, trim

Methods inherited from class org.tweetyproject.logics.pl.syntax.PlFormula

combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getUniformProbability, isClause, isConjunctiveClause, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

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()

Retrieves the list of actions associated with this necessarily query in the correct order.

Returns:

a `List` of `FolAction` objects representing the 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()

Description copied from class: QueryProposition

Returns all variables occurring in the inner formulas and actions of this query proposition.

Specified by:

getVariables in class QueryProposition

Returns:

a set of `Variable` objects representing all variables in the inner formulas and actions of this query proposition.

toString

public String toString()

Specified by:

toString in class QueryProposition