net.sf.tweety.lp.asp.semantics

Class AnswerSetList

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<AnswerSet>

net.sf.tweety.lp.asp.semantics.AnswerSetList

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<AnswerSet>, java.util.Collection<AnswerSet>, java.util.List<AnswerSet>, java.util.RandomAccess

public class AnswerSetList
extends java.util.ArrayList<AnswerSet>

This class represents a collection of answer sets and provides some basic reasoning modes.

Author:

Thomas Vengels, Tim Janus

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	POLICY_CREDOLOUS constant id for the credolous policy for operations of the AnswerSetList object.
static int	POLICY_SKEPTICAL constant id for the skeptical policy for operations of the AnswerSetList object.
private static long	serialVersionUID kill warning

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
AnswerSetList()
AnswerSetList(AnswerSetList other)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
java.util.Set<DLPLiteral>	getFactsByName(java.lang.String name)
java.util.Set<DLPLiteral>	getFactsByName(java.lang.String name, int policy) Returns all the literals in the answer set which have a given name.
boolean	holdsAll(DLPLiteral q) This method returns true iff all answer sets support q.
boolean	holdsOne(DLPLiteral q) This method returns true if at least one answer set supports q.
java.lang.String	toString()

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Methods inherited from interface java.util.Collection

parallelStream, stream

Field Detail

serialVersionUID

private static final long serialVersionUID

kill warning

See Also:

Constant Field Values

POLICY_CREDOLOUS

public static final int POLICY_CREDOLOUS

constant id for the credolous policy for operations of the AnswerSetList object.

See Also:

Constant Field Values

POLICY_SKEPTICAL

public static final int POLICY_SKEPTICAL

constant id for the skeptical policy for operations of the AnswerSetList object.

See Also:

Constant Field Values

Constructor Detail

AnswerSetList

public AnswerSetList()

AnswerSetList

public AnswerSetList(AnswerSetList other)

Method Detail

getFactsByName

public java.util.Set<DLPLiteral> getFactsByName(java.lang.String name)

getFactsByName

public java.util.Set<DLPLiteral> getFactsByName(java.lang.String name,
                                                int policy)

Returns all the literals in the answer set which have a given name.

Parameters:

name - the name of the literal, e.g. 'married'

policy - The used policy, either credolous (1) or sceptical (2).

Returns:

A set of literals which are also in the answer set.

holdsOne

public boolean holdsOne(DLPLiteral q)

This method returns true if at least one answer set supports q.

Parameters:

q -

holdsAll

public boolean holdsAll(DLPLiteral q)

This method returns true iff all answer sets support q.

Parameters:

q -

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<AnswerSet>

clone

public java.lang.Object clone()

Overrides:

clone in class java.util.ArrayList<AnswerSet>