ExplainUnsatService Methods |
The ExplainUnsatService type exposes the following members.
Methods| Name | Description | |
|---|---|---|
 | Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.) |
| Explain(String) |
Gets a Graph explaining the result of the SPARQL Query.
(Inherited from ExplainService.) |
| Explain(String, GraphCallback, Object) |
Gets a Graph explaining the result of the SPARQL Query.
(Inherited from ExplainService.) |
| ExplainUnsatisfiable(INode) |
Gets a Graph explaining why a Class is unsatisfiable.
|
| ExplainUnsatisfiable(INode, GraphCallback, Object) |
Gets a Graph explaining why a Class is unsatisfiable.
|
 | Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
| GetHashCode | Serves as the default hash function. (Inherited from Object.) |
| GetType | Gets the Type of the current instance. (Inherited from Object.) |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
| ToString | Returns a string that represents the current object. (Inherited from Object.) |
See Also