org.coode.oppl.search.solvability

Class QuerySolverBasedAbstractAxiomSolvability

java.lang.Object

org.coode.oppl.search.solvability.AbstractAxiomSolvability

org.coode.oppl.search.solvability.QuerySolverBasedAbstractAxiomSolvability

All Implemented Interfaces:

AxiomSolvability

Direct Known Subclasses:

NoResultsAxiomSolvability, OWLClassSubClassOfAxiomSolvability, OWLObjectPropertyFillersAxiomSolvability

public abstract class QuerySolverBasedAbstractAxiomSolvability
extends AbstractAxiomSolvability

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
QuerySolverBasedAbstractAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)

Method Summary

Modifier and Type	Method and Description
QuerySolver	getQuerySolver()

Methods inherited from class org.coode.oppl.search.solvability.AbstractAxiomSolvability

getConstraintSystem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.coode.oppl.search.solvability.AxiomSolvability

getSolvabilitySearchNode

Constructor Detail

QuerySolverBasedAbstractAxiomSolvability

public QuerySolverBasedAbstractAxiomSolvability(ConstraintSystem constraintSystem,
                                                QuerySolver querySolver)

Parameters:

constraintSystem - constraintSystem

querySolver - querySolver

Method Detail

getQuerySolver

public QuerySolver getQuerySolver()

Returns:

the querySolver