org.coode.oppl.search.solvability.NoSolutionSolvableSearchNode Maven / Gradle / Ivy

Go to download

package org.coode.oppl.search.solvability;

import org.coode.oppl.bindingtree.BindingNode;
import org.semanticweb.owlapi.model.OWLAxiom;

/** @author Luigi Iannone */
public class NoSolutionSolvableSearchNode extends SolvabilitySearchNode {
    /** @param axiom
     *            axiom
     * @param bindingNode
     *            bindingNode */
    public NoSolutionSolvableSearchNode(OWLAxiom axiom, BindingNode bindingNode) {
        super(axiom, bindingNode);
    }

    @Override
    public void accept(SolvabilitySearchNodeVisitor visitor) {
        visitor.visitNoSolutionSolvableSearchNode(this);
    }

    @Override
    public  O accept(SolvabilitySearchNodeVisitorEx visitor) {
        return visitor.visitNoSolutionSolvableSearchNode(this);
    }
}