|
DDD 1.9.0.20250910094029
|
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.
1.9.8