Examples of solver.constraints.nary.channeling.PropBitChanneling

Package solver.constraints.nary.channeling

Examples of solver.constraints.nary.channeling.PropBitChanneling

solver.constraints.nary.channeling.PropBitChanneling
A propagator which ensures that OCTET = 2⁰*BIT_1 + 2¹*BIT_2 + ... 2^n-1*BIT_n.
BIT_1 is related to the first bit of OCTET (2^0), BIT_2 is related to the first bit of OCTET (2^1), etc.
@author Charles Prud'homme @version choco @since 23/09/2014

     *
     * @param BITS the array of bits
     * @param VAR the numeric value
     */
    public static Constraint bit_channeling(BoolVar[] BITS, IntVar VAR) {
        return new Constraint("bit_channeling", new PropBitChanneling(VAR, BITS));
    }

View Full Code Here

TOP

Related Classes of solver.constraints.nary.channeling.PropBitChanneling

solver.constraints.IntConstraintFactory

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.