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

kodkod.engine.bool.BooleanFactory.integer()
Returns an Int that represents the given number using this.intEncoding. @return { i: Int | [[i]] = number && i.encoding && this.intEncoding && i.factory = this} @throws IllegalArgumentException - the number cannot be represented using the specified encoding

    switch(castExpr.op()) {
    case INTCAST :   
      for(IntIterator iter = ints.iterator(); iter.hasNext(); ) {
        int i = iter.next();
        int atomIndex = interpreter.interpret(i);
        ret.set(atomIndex, factory.or(ret.get(atomIndex), child.eq(factory.integer(i))));
      }
      break;
    case BITSETCAST : 
      final List<BooleanValue> twosComplement = child.twosComplementBits();
      final int msb = twosComplement.size()-1;

View Full Code Here

   */
  private final void sum(Decls decls, IntExpression expr, int currentDecl, BooleanValue declConstraints,
      List<Int> values) {
    final BooleanFactory factory = interpreter.factory();
    if (decls.size()==currentDecl) {
      values.add( expr.accept(this).choice(declConstraints, factory.integer(0)) );
      return;
    }


    final Decl decl = decls.get(currentDecl);
    final BooleanMatrix declTransl = visit(decl);

View Full Code Here

TOP

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.