Examples of solver.constraints.nary.lex.PropLexChain

solver.constraints.nary.lex.PropLexChain
Solver constraint of the LexChain constraint. Allows to sort lexical chain with strict lexicographic ordering or not.
@author Ashish @author Charles Prud'homme @since 09/08/11

     * VARS<sub>i</sub> is lexicographically strictly less than than VARS<sub>i+1</sub>
     *
     * @param VARS collection of vectors of variables
     */
    public static Constraint lex_chain_less(IntVar[]... VARS) {
        return new Constraint("LexChain(<) ", new PropLexChain(VARS, true));
    }

View Full Code Here

     * VARS<sub>i</sub> is lexicographically less or equal than than VARS<sub>i+1</sub>
     *
     * @param VARS collection of vectors of variables
     */
    public static Constraint lex_chain_less_eq(IntVar[]... VARS) {
        return new Constraint("LexChain(<=)", new PropLexChain(VARS, false));
    }

View Full Code Here

TOP

Related Classes of solver.constraints.nary.lex.PropLexChain

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.