All Downloads are FREE. Search and download functionalities are using the official Maven repository.

astra.reasoner.node.ReasonerNodeFactory Maven / Gradle / Ivy

There is a newer version: 1.4.2
Show newest version
package astra.reasoner.node;

import java.util.Map;

import astra.formula.Formula;
import astra.term.Term;

public interface ReasonerNodeFactory {
	ReasonerNode create(T formula, Map bindings, boolean singleResult);
	ReasonerNode create(ReasonerNode node, T formula, Map bindings, boolean singleResult);
    
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy