An System.Collections.Generic.IComparer implementation when sorting a list of BDDs, based on their node count.

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

System.Object
   BDDComparer

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.

Remarks

Used in CLab.BDD.Space, when CLab.Auxiliary.Common.CompileMethod is set to cm_ascending.

Requirements

Namespace: CLab.BDD

Assembly: CLab (in CLab.dll)

See Also

BDDComparer Members | CLab.BDD Namespace