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

Example 1 with PSMAnd

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, Or e) {
    List<PSM> ret = new LinkedList<>();
    Times pr = (Times) prog.insts.get(e.prop);
    Signature sig = pr.type(prog).toSig(prog);
    ret.add(new PSMAnd(sig, env, e.prop, pr.a, "or"));
    return ret;
}

Example 2 with PSMAnd

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, Implies e) {
    List<PSM> ret = new LinkedList<>();
    Times pr = (Times) prog.insts.get(e.prop);
    Signature sig = pr.type(prog).toSig(prog);
    ret.add(new PSMAnd(sig, env, e.prop, pr.a, "implies"));
    return ret;
}

Example 3 with PSMAnd

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, And e) {
    List<PSM> ret = new LinkedList<>();
    Times pr = (Times) prog.insts.get(e.prop);
    Signature sig = pr.type(prog).toSig(prog);
    ret.add(new PSMAnd(sig, env, e.prop, pr.a, "and"));
    return ret;
}