CLab# 1.0 API Documentation

BDDSpace Constructor

Initializes a new instance of the "BDDSpace" class.

public BDDSpace(
   CP cp,
   BDDLayout layout,
   Symbols symbols,
   ClabBDD clabBdd
);

Parameters

CP: The "CP" instance of the problem.
BDDLayout: The "BDDLayout" instance of the problem.
Symbols: The "CLab.Data.Symbols" instance of the problem.
ClabBDD: The "ClabBDD" instance of the problem.

See Also

BDDSpace Class | CLab.BDD Namespace