CLab# 1.0 API Documentation

BDDType Constructor

Initializes a new instance of the "BDDLayoutType" class.

public BDDType(
   String layoutTypeName,
   Int32 bddVarNum,
   Int32 domainSize
);

Parameters

String: Name of the layout type.
Int32: The number of BDD variables.
Int32: Size of the domain.

See Also

BDDType Class | CLab.BDD Namespace