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

Class HoldsQuery

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

All Implemented Interfaces:

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

public class HoldsQuery
extends QueryProposition

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

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

Method Summary

Modifier and Type	Method	Description
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

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

HoldsQuery

public HoldsQuery(FolFormula formula)

Creates a new holds query with the given inner formula.

Parameters:

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

Method Detail

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.

toString

public java.lang.String toString()

Specified by:

toString in class QueryProposition

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.