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

Example 1 with PSMChi

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, Chi e) {
    List<PSM> ret = new LinkedList<>();
    Signature sig = prog.insts.get(e.prop).type(prog).toSig(prog);
    TransExp t = prog.transforms.get(e.trans);
    Pair<String, String> k = t.type(prog);
    ret.add(new PSMChi(sig, env, k.first, k.second, e.prop, e.trans));
    return ret;
}