Examples of bitWidth()


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

        case INTCAST  : return cache(castExpr, Expression.INTS.accept(this));
        case BITSETCAST  :
          final BooleanFactory factory = super.interpreter.factory();
          ret = factory.matrix(Dimensions.square(super.interpreter.universe().size(), 1));
          final IntSet ints = super.interpreter.ints();
          final int msb = factory.bitwidth()-1;
          // handle all bits but the sign bit
          for(int i = 0; i < msb; i++) {
            int pow2 = 1<<i;
            if (ints.contains(pow2)) {
              ret.set(super.interpreter.interpret(pow2), BooleanConstant.TRUE);
View Full Code Here

Examples of sun.invoke.util.Wrapper.bitWidth()

        } else {
            // cast from {long,float,double} to anything
            if (wto.isSubwordOrInt()) {
                // cast to {byte,short,char,int}
                emitX2I(from);
                if (wto.bitWidth() < 32) {
                    // targets other than int require another conversion
                    emitI2X(to);
                }
            } else {
                // cast to {long,float,double} - this is verbose
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.