Examples with Resolvable com.vaticle.typedb.core.logic.resolvable.Resolvable used on opensource projects

Example 6 with Resolvable

use of com.vaticle.typedb.core.logic.resolvable.Resolvable in project grakn by graknlabs.

the class PlannerTest method test_planner_two_circular_has_dependencies.

@Test
public void test_planner_two_circular_has_dependencies() {
    Concludable concludable = Concludable.create(resolvedConjunction("{ $a has $b; }", logicMgr)).iterator().next();
    Concludable concludable2 = Concludable.create(resolvedConjunction("{ $b has $a; }", logicMgr)).iterator().next();
    Set<Resolvable<?>> resolvables = set(concludable, concludable2);
    List<Resolvable<?>> plan = Planner.plan(resolvables, new HashMap<>(), set());
    assertEquals(2, plan.size());
    assertEquals(set(concludable, concludable2), set(plan));
}

Example 7 with Resolvable

use of com.vaticle.typedb.core.logic.resolvable.Resolvable in project grakn by graknlabs.

the class PlannerTest method test_planner_disconnected_conjunction.

@Test
public void test_planner_disconnected_conjunction() {
    Concludable concludable = Concludable.create(resolvedConjunction("{ $a($b); }", logicMgr)).iterator().next();
    Concludable concludable2 = Concludable.create(resolvedConjunction("{ $c($d); }", logicMgr)).iterator().next();
    Set<Resolvable<?>> resolvables = set(concludable, concludable2);
    List<Resolvable<?>> plan = Planner.plan(resolvables, new HashMap<>(), set());
    assertEquals(2, plan.size());
    assertEquals(set(concludable, concludable2), set(plan));
}