Examples of solver.constraints.nary.automata.PropMultiCostRegular

Package solver.constraints.nary.automata

Examples of solver.constraints.nary.automata.PropMultiCostRegular

solver.constraints.nary.automata.PropMultiCostRegular
Created by IntelliJ IDEA. User: julien S Date: Jul 16, 2008 Time: 5:56:50 PM
Multi-Cost-Regular is a propagator for the constraint ensuring that, given : an automaton Pi; a sequence of domain variables X; a set of bound variables Z; a assignment cost matrix for each bound variable C;
The word formed by the sequence of assigned variables is accepted by Pi; for each z^k in Z, sum_i(C_i(x_k)k) = z^k
AC is NP hard for such a constraint. The propagation is based on a Lagrangian Relaxation approach of the underlying Resource constrained shortest/longest path problems

     * @param CVARS      cost variables
     * @param CAUTOMATON a deterministic finite automaton defining the regular language and the costs
     *                   Can be built from method CostAutomaton.makeMultiResources(...)
     */
    public static Constraint multicost_regular(IntVar[] VARS, IntVar[] CVARS, ICostAutomaton CAUTOMATON) {
        return new Constraint("MultiCostRegular", new PropMultiCostRegular(VARS, CVARS, CAUTOMATON));
    }

View Full Code Here

TOP

Related Classes of solver.constraints.nary.automata.PropMultiCostRegular

gnu.trove.iterator.TIntIterator

gnu.trove.set.hash.TIntHashSet

gnu.trove.stack.array.TIntArrayStack

memory.IEnvironment

solver.constraints.IntConstraintFactory

solver.constraints.nary.automata.FA.utils.Bounds

solver.constraints.nary.automata.structure.multicostregular.Arc

solver.constraints.nary.automata.structure.multicostregular.FastPathFinder

solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph

solver.constraints.nary.automata.structure.Node

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.