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

Example 1 with PSMEval

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, TransEval e) {
    List<PSM> ret = new LinkedList<>();
    InstExp k = prog.insts.get(e.inst);
    Times t = (Times) k;
    InstExp v = prog.insts.get(t.a);
    Exp i = (Exp) v;
    ret.add(new PSMEval(env, i.a, i.b, t.a, e.inst, t.type(prog).toSig(prog)));
    return ret;
}