CLab# 1.0 API Documentation

ClabBDD Constructor

Initializes a new instance of the "ClabBDD" class.

public ClabBDD(
   Clab clab,
   CP cp,
   Symbols symbols,
   Int32 initdbcache,
   Int32 initbddnodes,
   Int32 maxincrease
);

Parameters

Clab: The current Clab instance.
CP: The cp object of the problem.
Symbols: The symbols object of the problem.
Int32: The initial db cache.
Int32: The initial number of bdd nodes.
Int32: The maximum increase number.

Exceptions

Exception Type	Condition
ClabException

See Also

ClabBDD Class | CLab.BDD Namespace