Class for BDD representation of the configuration space of a CP expression.
For a list of all members of this type, see Bval Members.
System.Object
Bval
Public static (Shared in Visual Basic) members of this type are safe for multithreaded operations. Instance members are not guaranteed to be thread-safe.
Namespace: CLab.BDD
Assembly: CLab (in CLab.dll)