Examples with Type com.vaticle.typedb.core.concept.type.Type used on opensource projects

Example 11 with Type

use of com.vaticle.typedb.core.concept.type.Type in project grakn by graknlabs.

the class UnifyRelationConcludableTest method relation_variable_multiple_identical_unifiers.

// [REFLEXIVE rule, Fewer roleplayers in parent]
@Test
public void relation_variable_multiple_identical_unifiers() {
    String conjunction = "{ (employee: $p) isa employment; }";
    Set<Concludable> concludables = Concludable.create(resolvedConjunction(conjunction, logicMgr));
    Concludable.Relation queryConcludable = concludables.iterator().next().asRelation();
    Rule rule = createRule("the-same-person-is-employed-twice", "{ $x isa person; $y isa person; $employment type employment; $employee type employment:employee; }", "($employee: $x, $employee: $x) isa $employment", logicMgr);
    FunctionalIterator<Unifier> unifier = queryConcludable.unify(rule.conclusion(), conceptMgr);
    Set<Map<String, Set<String>>> result = unifier.map(u -> getStringMapping(u.mapping())).toSet();
    Set<Map<String, Set<String>>> expected = set(new HashMap<String, Set<String>>() {

        {
            put("$p", set("$x"));
            put("$_0", set("$_0"));
        }
    });
    assertEquals(expected, result);
}