Interface | Description |
---|---|
ExplanationGenerator |
a generator for explanations.
|
MultipleExplanationGenerator |
multiple explanation generator.
|
SingleExplanationGenerator |
Explanation generator for a single explanation.
|
TransactionAwareSingleExpGen |
transactional support for single explanation generator.
|
Class | Description |
---|---|
BlackBoxExplanation |
A black box explanation.
|
DefaultExplanationGenerator | |
HSTExplanationGenerator |
HST explanation generator.
|
SatisfiabilityConverter |
Satisfiability converter.
|
SingleExplanationGeneratorImpl |
The Class SingleExplanationGeneratorImpl.
|
Copyright © 2020 The University of Manchester. All rights reserved.