toulbar2
|
Additional Inherited Members | |
![]() | |
int * | config |
Long | valuation |
vector< int > | var_conflict |
int | regrouped |
Incremental evaluation with storage in the conflict datastructure tabconflicts the participation of the current values of the configuration