BDDSpace Class

Class for making BDDs based on the types, variables and expressions of a CP problem. Uses the "BDDLayout" mapping of cp variables to BDD variables.

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

System.Object
BDDSpace

public class BDDSpace

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)

BDDSpace Class

Thread Safety

Requirements

See Also