public class AnswerSetList extends java.util.ArrayList<AnswerSet>
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
|
Constructor and Description |
---|
AnswerSetList() |
AnswerSetList(AnswerSetList other) |
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 ture iff all
answer sets support q.
|
boolean |
holdsOne(DLPLiteral q)
this method returns true if at least one
answer set support q.
|
java.lang.String |
toString() |
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
private static final long serialVersionUID
public static final int POLICY_CREDOLOUS
public static final int POLICY_SKEPTICAL
public AnswerSetList()
public AnswerSetList(AnswerSetList other)
public java.util.Set<DLPLiteral> getFactsByName(java.lang.String name)
public java.util.Set<DLPLiteral> getFactsByName(java.lang.String name, int policy)
name
- the name of the literal 'married' as example.policy
- The used policy might be skeptical or credolous.public boolean holdsOne(DLPLiteral q)
q
- public boolean holdsAll(DLPLiteral q)
q
- public java.lang.String toString()
toString
in class java.util.AbstractCollection<AnswerSet>
public java.lang.Object clone()
clone
in class java.util.ArrayList<AnswerSet>