Class AlwaysQuery
- 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.AlwaysQuery
-
- All Implemented Interfaces:
java.lang.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 net.sf.tweety.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 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 interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
getPredicateCls
-
-
-
-
Constructor Detail
-
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 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 classQueryProposition
- Parameters:
map
- a map from variables to constants.- Returns:
- a new query proposition.
-
toString
public java.lang.String toString()
- Specified by:
toString
in classQueryProposition
-
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 classQueryProposition
- 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 classQueryProposition
- Returns:
- all variables occuring in inner formulas and actions of this query proposition.
-
-