astra.reasoner.EISFormulaNodeFactory Maven / Gradle / Ivy

Go to download
package astra.reasoner;

import java.util.Map;

import astra.eis.EISFormula;
import astra.reasoner.node.ReasonerNode;
import astra.reasoner.node.ReasonerNodeFactory;
import astra.term.Term;

public class EISFormulaNodeFactory implements ReasonerNodeFactory {

    @Override
    public ReasonerNode create(EISFormula formula, Map bindings, boolean singleResult) {
        return new EISFormulaNode(null, formula, bindings, singleResult);
    }
    
    @Override
    public ReasonerNode create(ReasonerNode parent, EISFormula formula, Map bindings, boolean singleResult) {
        return new EISFormulaNode(parent, formula, bindings, singleResult);
    }
    
}