Class SActionQuerySet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<T,ActionSignature>
-
- net.sf.tweety.action.query.syntax.ActionQuerySet<SActionQuery>
-
- net.sf.tweety.action.query.syntax.SActionQuerySet
-
- All Implemented Interfaces:
java.lang.Iterable<SActionQuery>
,java.util.Collection<SActionQuery>
,BeliefBase
public class SActionQuerySet extends ActionQuerySet<SActionQuery>
This class models a set of action queries in the language S which is based on the query language "P" discussed in the paper: Action Languages. by Michael Gelfond and Vladimir Lifschitz, ETAI: Electronic Transactions on AI, 1998.- Author:
- Sebastian Homann
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
-
Constructor Summary
Constructors Constructor Description SActionQuerySet()
Creates a new empty action query set for the query language S.SActionQuerySet(java.util.Collection<SActionQuery> c)
Creates a new belief set with the given collection of queries.
-
Method Summary
Modifier and Type Method Description SActionQuery
getConjunctionOfAllQueries()
Returns a conjunction of all contained queries.Signature
getMinimalSignature()
Returns the signature of the language of this knowledge base.SActionQuerySet
ground()
Returns a new SActionQuerySet consisting of all possible groundings of the contained queries.-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
-
-
-
-
Constructor Detail
-
SActionQuerySet
public SActionQuerySet()
Creates a new empty action query set for the query language S.
-
SActionQuerySet
public SActionQuerySet(java.util.Collection<SActionQuery> c)
Creates a new belief set with the given collection of queries.- Parameters:
c
- a collection of formulae.
-
-
Method Detail
-
ground
public SActionQuerySet ground()
Returns a new SActionQuerySet consisting of all possible groundings of the contained queries.- Returns:
- a new SActionQuerySet consisting of all possible groundings of the contained queries.
-
getConjunctionOfAllQueries
public SActionQuery getConjunctionOfAllQueries()
Returns a conjunction of all contained queries. The resulting action query is satisfied iff all queries contained in this query set are satisfied.- Returns:
- a conjunction of all contained queries.
-
getMinimalSignature
public Signature getMinimalSignature()
Description copied from interface:BeliefBase
Returns the signature of the language of this knowledge base.- Returns:
- the signature of the language of this knowledge base.
-
-