Uses of Interface
com.clarkparsia.explanation.SingleExplanationGenerator

Packages that use SingleExplanationGenerator

com.clarkparsia.explanation

Uses of SingleExplanationGenerator in com.clarkparsia.explanation

Subinterfaces of SingleExplanationGenerator in com.clarkparsia.explanation

interface	MultipleExplanationGenerator Description: The explanation generator interface for returning all the explanations for an unsatisfiable class.
interface	TransactionAwareSingleExpGen Title: Transaction Aware Single Explanation Generator

Classes in com.clarkparsia.explanation that implement SingleExplanationGenerator

class	BlackBoxExplanation Title:
class	HSTExplanationGenerator Description: An implementation of MultipleExplanationGenerator interface using Reiter's Hitting Set Tree (HST) algorithm as described in Aditya Kalyanpur's thesis.
class	SingleExplanationGeneratorImpl Title: SingleExplanationGeneratorImpl