public class AnswerSet extends BeliefSet<DLPLiteral>
Constructor and Description |
---|
AnswerSet() |
AnswerSet(AnswerSet other) |
AnswerSet(java.util.Collection<DLPLiteral> lits,
int level,
int weight) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
clone() |
java.util.Set<java.lang.String> |
getFunctors() |
java.util.Set<DLPLiteral> |
getLiteralsWithName(java.lang.String name) |
Signature |
getSignature()
Returns the signature of the language of this knowledge base.
|
java.lang.String |
toString() |
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray
public AnswerSet()
public AnswerSet(java.util.Collection<DLPLiteral> lits, int level, int weight)
public AnswerSet(AnswerSet other)
public java.util.Set<DLPLiteral> getLiteralsWithName(java.lang.String name)
public java.util.Set<java.lang.String> getFunctors()
public java.lang.String toString()
toString
in interface BeliefBase
toString
in class BeliefSet<DLPLiteral>
public java.lang.Object clone()
clone
in class java.lang.Object
public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<DLPLiteral>