List of twosComplementBits() Examples

Examples of twosComplementBits()

kodkod.engine.bool.Int.twosComplementBits()
Returns the little endian two's complement representation of this integer that is this.factory.bitwidth bits wide. Specifically, the returned list L has this.factory.bitwidth boolean values such that the meaning of this integer is 1*[[L.get(0)]] + ... + (1<

Examples of kodkod.engine.bool.Int.twosComplementBits()

        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;
      // handle all bits but the sign bit
      for(int i = 0; i < msb; i++) { 
        int pow2 = 1<<i;
        if (ints.contains(pow2)) {

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.