CLab# 1.0 API Documentation
BDDSpace.UnsatisfiableRule Property
Gets the unsatisfiable rule, if one exist.
public
UnsatisfiableRule {get;}
See Also
BDDSpace Class
|
CLab.BDD Namespace