edu.udo.cs.ie.cowbots.logic.solver
Class AnswerSet

Package class diagram package AnswerSet
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.solver.AnswerSet

public class AnswerSet
extends java.lang.Object

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

weight

public final int weight

level

public final int level

literals

public final java.util.Set<ELPLiteral> literals
Constructor Detail

AnswerSet

public AnswerSet(java.util.Set<ELPLiteral> lits,
                 int weight,
                 int level)