PolyBoRi
|
#include <traits.h>
Additional Inherited Members | |
![]() | |
typedef COrderEnums | orderenums_type |
typedef CErrorEnums | errorenums_type |
typedef CCompareEnums | compenums_type |
typedef CAuxTypes | auxtypes_type |
![]() | |
typedef invalid_tag | easy_equality_property |
Set marker for validity. More... | |
![]() | |
static idx_type | max_index () |
Type of interface to binary decicion diagrams. More... | |