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, 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.action.query.syntax.ActionQuerySet
instantiateSignature

Methods inherited from class net.sf.tweety.commons.BeliefSet
add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

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