public class SActionQuerySet extends ActionQuerySet<SActionQuery>
Constructor and 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.
|
Modifier and Type | Method and Description |
---|---|
SActionQuery |
getConjunctionOfAllQueries()
Returns a conjunction of all contained queries.
|
Signature |
getSignature()
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.
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public SActionQuerySet()
public SActionQuerySet(java.util.Collection<SActionQuery> c)
c
- a collection of formulae.public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<SActionQuery>
public SActionQuerySet ground()
public SActionQuery getConjunctionOfAllQueries()