CLab# 1.0 API Documentation

ClabBDD Properties

The properties of the ClabBDD class are listed below. For a complete list of ClabBDD class members, see the ClabBDD Members topic.

Public Instance Properties

Layout Gets the "BDDLayout" of the problem.
Space Gets the "BDDSpace" of the problem.
UnsatisfiableRule Gets the unsatisfiable rule if one exist.

See Also

ClabBDD Class | CLab.BDD Namespace