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

Example 1 with PSMIso

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, TransIso e) {
    List<PSM> ret = new LinkedList<>();
    Signature sig = prog.insts.get(e.l).type(prog).toSig(prog);
    ret.add(new PSMIso(e.lToR, env, e.l, e.r, sig));
    return ret;
}