Examples with PSMBool catdata.fql.sql.PSMBool used on opensource projects

Example 1 with PSMBool

use of catdata.fql.sql.PSMBool in project fql by CategoricalData.

the class InstOps method visit.

@Override
public List<PSM> visit(String env, Bool e) {
    List<PSM> ret = new LinkedList<>();
    // .toSig(prog);
    SigExp.Const sigX = prog.insts.get(e.unit).type(prog).toConst(prog);
    Signature sig = sigX.toSig(prog);
    Triple<Const, Map<Node, Map<Object, LinkedHashMap<Pair<Arr<Node, Path>, Attribute<Node>>, Object>>>, Map<Node, Map<LinkedHashMap<Pair<Arr<Node, Path>, Attribute<Node>>, Object>, Object>>> kkk = Relationalizer.terminal(prog, sigX);
    ret.add(new PSMBool(e.bool, e.unit, e.prop, sig, env, kkk.first, kkk.second, kkk.third));
    return ret;
}