Examples with Reasoner com.vaticle.typedb.core.reasoner.Reasoner used on opensource projects

Example 1 with Reasoner

use of com.vaticle.typedb.core.reasoner.Reasoner in project grakn by graknlabs.

the class CoreTransaction method initialise.

void initialise(GraphManager graphMgr, TraversalCache traversalCache, LogicCache logicCache) {
    traversalEng = new TraversalEngine(graphMgr, traversalCache);
    conceptMgr = new ConceptManager(graphMgr);
    logicMgr = new LogicManager(graphMgr, conceptMgr, traversalEng, logicCache);
    reasoner = new Reasoner(conceptMgr, logicMgr, traversalEng, context);
    queryMgr = new QueryManager(conceptMgr, logicMgr, reasoner, context);
    isOpen = new AtomicBoolean(true);
}