public class SolvableSearchNode extends SolvabilitySearchNode
| Constructor and Description |
|---|
SolvableSearchNode(Variable<?> variable,
org.semanticweb.owlapi.model.OWLAxiom axiom,
BindingNode bindingNode,
Collection<? extends org.semanticweb.owlapi.model.OWLObject> values) |
| 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() |
buildSolvabilitySearchNodeequals, getAxiom, getBinding, hashCode, toStringpublic SolvableSearchNode(Variable<?> variable, org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode, Collection<? extends org.semanticweb.owlapi.model.OWLObject> values)
variable - variableaxiom - axiombindingNode - bindingNodevalues - valuespublic void accept(SolvabilitySearchNodeVisitor visitor)
accept in class SolvabilitySearchNodevisitor - visitorpublic <O> O accept(SolvabilitySearchNodeVisitorEx<O> visitor)
accept in class SolvabilitySearchNodeO - visitor return typevisitor - visitorpublic Set<org.semanticweb.owlapi.model.OWLObject> getValues()
public Variable<?> getVariable()
Copyright © 2015 The University of Manchester. All Rights Reserved.