org.coode.oppl.search.solvability

Class NoResultsAxiomSolvability

java.lang.Object

org.coode.oppl.search.solvability.AbstractAxiomSolvability

org.coode.oppl.search.solvability.QuerySolverBasedAbstractAxiomSolvability

org.coode.oppl.search.solvability.NoResultsAxiomSolvability

All Implemented Interfaces:

AxiomSolvability

public class NoResultsAxiomSolvability
extends QuerySolverBasedAbstractAxiomSolvability
implements AxiomSolvability

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
NoResultsAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)

Method Summary

Modifier and Type	Method and Description
SolvabilitySearchNode	getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)

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

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

Constructor Detail

NoResultsAxiomSolvability

public NoResultsAxiomSolvability(ConstraintSystem constraintSystem,
                                 QuerySolver querySolver)

Parameters:

constraintSystem - constraintSystem

querySolver - querySolver

Method Detail

getSolvabilitySearchNode

public SolvabilitySearchNode getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom,
                                                      BindingNode bindingNode)

Specified by:

getSolvabilitySearchNode in interface AxiomSolvability

Parameters:

owlAxiom - owlAxiom

bindingNode - bindingNode

Returns:

solvability search node