edu.udo.cs.ie.cowbots.logic.solver
Class DLV.ASWeight

Package class diagram package DLV.ASWeight
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.solver.DLV.ASWeight
Enclosing class:
DLV

 class DLV.ASWeight
extends java.lang.Object

utility class, used by the parser to store answer set weights


Field Summary
 int level
           
 int weight
           
 
Constructor Summary
DLV.ASWeight(int w, int l)
           
 
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
Constructor Detail

DLV.ASWeight

public DLV.ASWeight(int w,
                    int l)