Package net.sf.tweety.action.query.syntax

Class NecessarilyQuery

java.lang.Object

net.sf.tweety.logics.pl.syntax.PlFormula

net.sf.tweety.logics.pl.syntax.Proposition

net.sf.tweety.action.query.syntax.QueryProposition

net.sf.tweety.action.query.syntax.NecessarilyQuery

All Implemented Interfaces:

java.lang.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 net.sf.tweety.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, java.util.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
java.util.List<FolAction>	getActions()	Returns the list of actions of this necessarily query in the correct order.
ActionSignature	getActionSignature()	Returns a new action signature containing all symbols of the inner formula of this proposition.
java.util.Set<FolAction>	getInnerActions()	Returns the set of all actions contained in this query proposition.
java.util.Set<Variable>	getVariables()	Returns all variables occuring in inner formulas and actions of this query proposition.
QueryProposition	substitute(java.util.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.
java.lang.String	toString()

Methods inherited from class net.sf.tweety.action.query.syntax.QueryProposition

getInnerFormula

Methods inherited from class net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

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.

toString

public java.lang.String toString()

Specified by:

toString in class QueryProposition