Examples with Eq catdata.fql.decl.Eq used on opensource projects

Example 1 with Eq

use of catdata.fql.decl.Eq in project fql by CategoricalData.

the class LeftKan method beta1.

private boolean beta1() {
    boolean ret = false;
    for (Eq eq : B.eqs) {
        Set<Pair<Integer, Integer>> lhs = eval(eq.lhs);
        Set<Pair<Integer, Integer>> rhs = eval(eq.rhs);
        Node n = eq.lhs.target;
        ret = ret || addCoincidences(lhs, rhs, n);
    }
    return ret;
}