org.coode.oppl.search.solvability

Class NoSolutionSolvableSearchNode

java.lang.Object

org.coode.oppl.search.OPPLOWLAxiomSearchNode

org.coode.oppl.search.solvability.SolvabilitySearchNode

org.coode.oppl.search.solvability.NoSolutionSolvableSearchNode

public class NoSolutionSolvableSearchNode
extends SolvabilitySearchNode

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
NoSolutionSolvableSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(SolvabilitySearchNodeVisitor visitor)
<O> O	accept(SolvabilitySearchNodeVisitorEx<O> visitor)

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

buildSolvabilitySearchNode

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

NoSolutionSolvableSearchNode

public NoSolutionSolvableSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom,
                            BindingNode bindingNode)

Parameters:

axiom - axiom

bindingNode - bindingNode

Method Detail

accept

public void accept(SolvabilitySearchNodeVisitor visitor)

Specified by:

accept in class SolvabilitySearchNode

Parameters:

visitor - visitor

accept

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

Specified by:

accept in class SolvabilitySearchNode

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor value