CLab# 1.0 API Documentation

BDDTypeBool Constructor

Initializes a new instance of the "BDDLayoutTypeBool" class.

public BDDTypeBool(
String typeName,
Int32 domSize
);

Parameters

String: Name of the type.
Int32: Size of the domain.

See Also

BDDTypeBool Class | CLab.BDD Namespace