edu.neu.ccs.assignment
Class AssignmentVerifier
java.lang.Object
edu.neu.ccs.demeterf.ID
edu.neu.ccs.demeterf.Bc
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
Fields inherited from interface edu.neu.ccs.demeterf.Builder |
methodName |
Fields inherited from interface edu.neu.ccs.demeterf.Augmentor |
methodName |
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 |
AssignmentVerifier
AssignmentVerifier()
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
- RawMaterialassign
- Assignment
- Returns: