ExplainUnsatService.ExplainUnsatisfiable Method |
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.
|