net.sf.tweety.action.query.syntax

Class HoldsQuery

java.lang.Object

net.sf.tweety.logics.pl.syntax.PropositionalFormula

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

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

net.sf.tweety.action.query.syntax.HoldsQuery

All Implemented Interfaces:

Comparable<net.sf.tweety.logics.pl.syntax.Proposition>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.Atom, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.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

net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl, net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE

Field Summary

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

formula

Constructor Summary

Constructors

Constructor and Description
HoldsQuery(net.sf.tweety.logics.fol.syntax.FolFormula formula) Creates a new holds query with the given inner formula.

Method Summary

Modifier and Type	Method and Description
Set<FolAction>	getInnerActions() Returns the set of all actions contained in this query proposition.
Set<net.sf.tweety.logics.commons.syntax.Variable>	getVariables() Returns all variables occuring in inner formulas and actions of this query proposition.
QueryProposition	substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.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 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, setPredicate, toCnf, toNnf, trim

Methods inherited from class net.sf.tweety.logics.pl.syntax.PropositionalFormula

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

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

Constructor Detail

HoldsQuery

public HoldsQuery(net.sf.tweety.logics.fol.syntax.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(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.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<net.sf.tweety.logics.commons.syntax.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.