|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.solver.AnswerSet
public class AnswerSet
a class representing the result of a solver feeded with some elps. beside facts generated by an anwser set, it provides additional information like answer set weight (default is 0). the empty answer set is returned with as a set with zero literals.
Field Summary | |
---|---|
int |
level
|
java.util.Set<ELPLiteral> |
literals
|
int |
weight
|
Constructor Summary | |
---|---|
AnswerSet(java.util.Set<ELPLiteral> lits,
int weight,
int level)
|
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final int weight
public final int level
public final java.util.Set<ELPLiteral> literals
Constructor Detail |
---|
public AnswerSet(java.util.Set<ELPLiteral> lits, int weight, int level)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |