|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface TransactionAwareSingleExpGen
transactional support for single explanation generator
| Method Summary | |
|---|---|
void |
beginTransaction()
Indicates to the explanation generator that a transaction which may modify the ontology state is starting. |
void |
endTransaction()
End a transaction. |
| Methods inherited from interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator |
|---|
getExplanation, getOntology, getOntologyManager, getReasoner, getReasonerFactory |
| Method Detail |
|---|
void beginTransaction()
HSTExplanationGenerator.
void endTransaction()
beginTransaction()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||