org.coode.oppl.search.solvability

Class SolvabilitySearchNode

java.lang.Object

org.coode.oppl.search.OPPLOWLAxiomSearchNode

org.coode.oppl.search.solvability.SolvabilitySearchNode

Direct Known Subclasses:

NoSolutionSolvableSearchNode, SolvableSearchNode, SolvedSearchNode, UnsolvableSearchNode

public abstract class SolvabilitySearchNode
extends OPPLOWLAxiomSearchNode

Represents a search node for which it can be determined whether a single method call to the OWL API or to the reasoner could solve the search.

Author:

Luigi Iannone

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)

Method Summary

Modifier and Type	Method and Description
abstract void	accept(SolvabilitySearchNodeVisitor visitor)
abstract <O> O	accept(SolvabilitySearchNodeVisitorEx<O> visitor)
static SolvabilitySearchNode	buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, AxiomSolvability axiomSolvability, BindingNode bindingNode)

Methods inherited from class org.coode.oppl.search.OPPLOWLAxiomSearchNode

equals, getAxiom, getBinding, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SolvabilitySearchNode

protected SolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                BindingNode bindingNode)

Parameters:

axiom - axiom

bindingNode - bindingNode

Method Detail

accept

public abstract void accept(SolvabilitySearchNodeVisitor visitor)

Parameters:

visitor - visitor

accept

public abstract <O> O accept(SolvabilitySearchNodeVisitorEx<O> visitor)

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor value

buildSolvabilitySearchNode

public static SolvabilitySearchNode buildSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                               AxiomSolvability axiomSolvability,
                                                               BindingNode bindingNode)

Parameters:

axiom - axiom

axiomSolvability - axiomSolvability

bindingNode - bindingNode

Returns:

solvability search node