CLab# 1.0 API Documentation

BDDTypeEnum Constructor

Initializes a new instance of the "BDDLayoutTypeEnum" class.

public BDDTypeEnum(
   String typeName,
   Int32 domainSize,
   ArrayList indexToValue,
   Hashtable valueToIndex
);

Parameters

String: Name of the type.
Int32: Size of the domain.
ArrayList: List mapping index to value.
Hashtable: Hashtable mapping value to index.

See Also

BDDTypeEnum Class | CLab.BDD Namespace