edu.neu.ccs.assignment
Class AssignmentVerifier

java.lang.Object
  extended by edu.neu.ccs.demeterf.ID
      extended by edu.neu.ccs.demeterf.Bc
          extended by edu.neu.ccs.assignment.AssignmentVerifier
All Implemented Interfaces:
edu.neu.ccs.demeterf.Augmentor, edu.neu.ccs.demeterf.Builder, edu.neu.ccs.demeterf.BuilderAugmentor

 class AssignmentVerifier
extends edu.neu.ccs.demeterf.Bc

Class for verifying a given assignment

For each constraint, set each variable to the value specified in the assignment. Setting variable can be done by taking shannon cofactor. After setting All the variables, the final relation will come out to be 0 or 255. 0 means the constraint is not satisfied, 255 means the constraint is not satisfied.

Author:
Charu Chandra and Wu Jiang

Field Summary
 
Fields inherited from interface edu.neu.ccs.demeterf.Builder
methodName
 
Fields inherited from interface edu.neu.ccs.demeterf.Augmentor
methodName
 
Constructor Summary
AssignmentVerifier()
           
 
Method Summary
(package private) static double findQuality(gen.RawMaterial rm, gen.Assignment assign)
          Finds the quality of the assignment for the given raw material.
(package private) static edu.neu.ccs.demeterf.demfgen.lib.Map<gen.RelationNr,java.lang.Integer> findSatAssignments(gen.RawMaterial raw, gen.Assignment assign)
          Counts the number of row satisfied by the assignment in the given raw material
 
Methods inherited from class edu.neu.ccs.demeterf.Bc
combine, combine, combine, combine, combine, combine, combine, isDebug, setDebug
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AssignmentVerifier

AssignmentVerifier()
Method Detail

findSatAssignments

static edu.neu.ccs.demeterf.demfgen.lib.Map<gen.RelationNr,java.lang.Integer> findSatAssignments(gen.RawMaterial raw,
                                                                                                 gen.Assignment assign)
Counts the number of row satisfied by the assignment in the given raw material

Parameters:
raw -
assign -
Returns:

findQuality

static double findQuality(gen.RawMaterial rm,
                          gen.Assignment assign)
Finds the quality of the assignment for the given raw material.

Parameters:
rm - RawMaterial
assign - Assignment
Returns: