org.coode.oppl.search.solvability

Class SolvableSearchNode

java.lang.Object

org.coode.oppl.search.OPPLOWLAxiomSearchNode

org.coode.oppl.search.solvability.SolvabilitySearchNode

org.coode.oppl.search.solvability.SolvableSearchNode

public class SolvableSearchNode
extends SolvabilitySearchNode

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
SolvableSearchNode(Variable<?> variable, org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode, Collection<? extends org.semanticweb.owlapi.model.OWLObject> values)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(SolvabilitySearchNodeVisitor visitor)
<O> O	accept(SolvabilitySearchNodeVisitorEx<O> visitor)
Set<org.semanticweb.owlapi.model.OWLObject>	getValues()
Variable<?>	getVariable()

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

SolvableSearchNode

public SolvableSearchNode(Variable<?> variable,
                  org.semanticweb.owlapi.model.OWLAxiom axiom,
                  BindingNode bindingNode,
                  Collection<? extends org.semanticweb.owlapi.model.OWLObject> values)

Parameters:

variable - variable

axiom - axiom

bindingNode - bindingNode

values - values

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

getValues

public Set<org.semanticweb.owlapi.model.OWLObject> getValues()

Returns:

the values

getVariable

public Variable<?> getVariable()

Returns:

the variable