BDDLayout Class

Class representing and making the layout of the BDD problem. The class has mapping from the "CLab.Data.CP" representation to the BDD representation and vice versa.

For a list of all members of this type, see BDDLayout Members.

System.Object
BDDLayout

public class BDDLayout

Thread Safety

Public static (Shared in Visual Basic) members of this type are safe for multithreaded operations. Instance members are not guaranteed to be thread-safe.

Requirements

Namespace: CLab.BDD

Assembly: CLab (in CLab.dll)

BDDLayout Class

Thread Safety

Requirements

See Also