ExplainUnsatServiceExplainUnsatisfiable Method |
Overload List| Name | Description | |
|---|---|---|
 | ExplainUnsatisfiable(INode) |
Gets a Graph explaining why a Class is unsatisfiable.
|
| ExplainUnsatisfiable(INode, GraphCallback, Object) |
Gets a Graph explaining why a Class is unsatisfiable.
|
See Also