Uses of Interface
org.coode.oppl.search.solvability.QuerySolver

Packages that use QuerySolver

Package	Description
org.coode.oppl.search.solvability

Uses of QuerySolver in org.coode.oppl.search.solvability

Classes in org.coode.oppl.search.solvability that implement QuerySolver

Modifier and Type	Class and Description
class	AssertedModelQuerySolver
class	InferredModelQuerySolver

Methods in org.coode.oppl.search.solvability that return QuerySolver

Modifier and Type	Method and Description
QuerySolver	QuerySolverBasedAbstractAxiomSolvability.getQuerySolver()

Constructors in org.coode.oppl.search.solvability with parameters of type QuerySolver

Constructor and Description
NoResultsAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)
OWLClassSubClassOfAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)
OWLObjectPropertyFillersAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)
QuerySolverBasedAbstractAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)