Implementation of a value symmetry at the modelling level. More...
#include <ldsb.hh>
Public Member Functions | |
ValueSymmetryObject (IntSet vs) | |
Constructor for creation. | |
Public Attributes | |
IntSet | values |
Set of symmetric values. |
Constructor for creation.
Definition at line 94 of file sym-obj.cpp.