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

Example 1 with PSMNot

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, Not e) {
    List<PSM> ret = new LinkedList<>();
    InstExp p = prog.insts.get(e.prop);
    Signature sig = p.type(prog).toSig(prog);
    ret.add(new PSMNot(sig, env, e.prop));
    return ret;
}