DDD
1.9.0.20240826145154
|
Compares two SDD in hash tables. More...
#include <SDD.h>
Public Member Functions | |
bool | operator() (const GSDD &g1, const GSDD &g2) const |
Compares two SDD in hash tables.
Value returned is based on unicity of concret in unicity table.