Examples of iff()


Examples of kodkod.ast.Formula.iff()

            case NOT_LTE: i=cint(a);  f=i.lte(cint(b)).not()return k2pos(f,x);
            case NOT_GT:  i=cint(a);  f=i.gt(cint(b)).not();   return k2pos(f,x);
            case NOT_GTE: i=cint(a);  f=i.gte(cint(b)).not()return k2pos(f,x);
            case AND: f=cform(a); f=f.and(cform(b)); return k2pos(f,x);
            case OR:  f=cform(a); f=f.or(cform(b))return k2pos(f,x);
            case IFF: f=cform(a); f=f.iff(cform(b)); return k2pos(f,x);
            case PLUSPLUS: s=cset(a); return s.override(cset(b));
            case MUL: i=cint(a); return i.multiply(cint(b));
            case DIV: i=cint(a); return i.divide(cint(b));
            case REM: i=cint(a); return i.modulo(cint(b));
            case SHL: i=cint(a); return i.shl(cint(b));
View Full Code Here

Examples of kodkod.engine.bool.BooleanFactory.iff()

    switch(op) {
    case AND    : ret = f.and(left, right); break;
    case OR      : ret = f.or(left, right); break;
    case IMPLIES  : ret = f.implies(left, right); break;
    case IFF    : ret = f.iff(left, right); break;
    default :
      throw new IllegalArgumentException("Unknown operator: " + op);
    }
    return cache(binFormula, ret);
  }
View Full Code Here

Examples of org.sat4j.tools.GateTranslator.iff()

                break;
            case XOR:
                gater.xor(y, literals);
                break;
            case IFF:
                gater.iff(y, literals);
                break;
            case IFTHENELSE:
                assert literals.size()==3;
                gater.ite(y, literals.get(0),literals.get(1),literals.get(2));
                break;
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.