Package org.tweetyproject.action.query.syntax

Class AlwaysQuery

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.AlwaysQuery

All Implemented Interfaces:

Comparable<Proposition>, Formula, Atom, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class AlwaysQuery
extends QueryProposition

This class represents an always query in the action query language S. Such queries have the following form: "always F where F is a state formula".

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
AlwaysQuery(FolFormula formula)	Creates a new always query with the given inner formula.

Method Summary

Modifier and Type	Method	Description
Set<FolAction>	getInnerActions()	Returns the set of all actions contained in this query proposition.
Set<Variable>	getVariables()
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

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

AlwaysQuery

public AlwaysQuery(FolFormula formula)

Creates a new always query with the given inner formula.

Parameters:

formula - the inner formula of this newly created always query.

Method Details

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.

toString

public String toString()

Specified by:

toString in class QueryProposition

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.