#include <eval.h>
Collaboration diagram for BadnessStruct:
This structure counts both the total number of constraint violations (called `conflicts' henceforth) and the number of hard conflicts (those with score 0.0). The field soft is the product of the penalties of all soft (non-zero) conflicts. Note that this structure allows different criteria for comparing two analyses; the function bCompare() is provided as one method, but others could be devised.
Definition at line 54 of file eval.h.
Data Fields | |
int | hard |
int | no |
Number | soft |
|
number of hard conflicts Definition at line 56 of file eval.h. Referenced by bAdd(), bAddBadness(), bClone(), bCompare(), bEqual(), bNew(), bPrint(), bSubtract(), bSubtractBadness(), comCompareAllLvPairs(), and comCompareWithContext(). |
|
number of conflicts Definition at line 55 of file eval.h. Referenced by bAdd(), bAddBadness(), bClone(), bNew(), bPrint(), bSubtract(), bSubtractBadness(), comCompareAllLvPairs(), and comCompareWithContext(). |
|
combined effect of soft conflicts Definition at line 57 of file eval.h. Referenced by bAdd(), bAddBadness(), bClone(), bCompare(), bEqual(), bNew(), bPrint(), bSubtract(), bSubtractBadness(), comCompareAllLvPairs(), and comCompareWithContext(). |