| CLab# 1.0 API Documentation |
|
Clab.GetUnsatisfiableRule Method
Gets the unsatisfiable rule, if BDD modus is chosen. This information is not possible to retrive in CSP modus.
public
string GetUnsatisfiableRule();
Return Value
See Also
Clab Class | CLab Namespace