net.sf.tweety.action.query

Class SActionQuerySet

java.lang.Object

net.sf.tweety.commons.BeliefSet<T>

net.sf.tweety.action.ActionQuerySet<SActionQuery>

net.sf.tweety.action.query.SActionQuerySet

All Implemented Interfaces:

Iterable<SActionQuery>, Collection<SActionQuery>, net.sf.tweety.commons.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

Constructor Summary

Constructors

Constructor and Description
SActionQuerySet() Creates a new empty action query set for the query language S.
SActionQuerySet(Collection<SActionQuery> c) Creates a new belief set with the given collection of queries.

Method Summary

Modifier and Type	Method and Description
SActionQuery	getConjunctionOfAllQueries() Returns a conjunction of all contained queries.
net.sf.tweety.commons.Signature	getSignature()
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, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, 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

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(Collection<SActionQuery> c)

Creates a new belief set with the given collection of queries.

Parameters:

c - a collection of formulae.

Method Detail

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<SActionQuery>

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.