|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of ICostAutomaton in choco |
---|
Methods in choco with parameters of type ICostAutomaton | |
---|---|
static Constraint |
Choco.costRegular(IntegerVariable costVar,
IntegerVariable[] vars,
ICostAutomaton auto)
costRegular constraint ensures that the assignment of a sequence of variables is recognized by a DFA and that the sum of the costs associated to each assignment is bounded by the cost variable. |
static Constraint |
Choco.multiCostRegular(IntegerVariable[] costVars,
IntegerVariable[] vars,
ICostAutomaton auto)
multiCostRegular constraint ensures that the assignment of a sequence of variables is recognized by a DFA and that the sum of the cost vectors associated to each assignment is bounded by the cost variable vector. |
Uses of ICostAutomaton in choco.cp.solver.constraints.global.automata.fast_costregular |
---|
Methods in choco.cp.solver.constraints.global.automata.fast_costregular with parameters of type ICostAutomaton | |
---|---|
void |
CostRegular.initGraph(ICostAutomaton pi)
|
Constructors in choco.cp.solver.constraints.global.automata.fast_costregular with parameters of type ICostAutomaton | |
---|---|
CostRegular(IntDomainVar[] vars,
ICostAutomaton pi,
Solver s)
|
Uses of ICostAutomaton in choco.cp.solver.constraints.global.automata.fast_multicostregular |
---|
Fields in choco.cp.solver.constraints.global.automata.fast_multicostregular declared as ICostAutomaton | |
---|---|
protected ICostAutomaton |
MultiCostRegular.pi
The finite automaton which defines the regular language the variable sequence must belong |
Constructors in choco.cp.solver.constraints.global.automata.fast_multicostregular with parameters of type ICostAutomaton | |
---|---|
MultiCostRegular(IntDomainVar[] vars,
IntDomainVar[] CR,
ICostAutomaton pi,
Solver solver)
|
Uses of ICostAutomaton in choco.kernel.model.constraints.automaton.FA |
---|
Classes in choco.kernel.model.constraints.automaton.FA that implement ICostAutomaton | |
---|---|
class |
CostAutomaton
Created by IntelliJ IDEA. |
Methods in choco.kernel.model.constraints.automaton.FA that return ICostAutomaton | |
---|---|
static ICostAutomaton |
CostAutomaton.makeMultiResources(IAutomaton pi,
int[][][][] layer_value_resource_state,
int[] infs,
int[] sups)
|
static ICostAutomaton |
CostAutomaton.makeMultiResources(IAutomaton auto,
int[][][][] c,
IntDomainVar[] z)
|
static ICostAutomaton |
CostAutomaton.makeMultiResources(IAutomaton auto,
int[][][][] c,
IntegerVariable[] z)
|
static ICostAutomaton |
CostAutomaton.makeMultiResources(IAutomaton pi,
int[][][] layer_value_resource,
int[] infs,
int[] sups)
|
static ICostAutomaton |
CostAutomaton.makeMultiResources(IAutomaton auto,
int[][][] c,
IntDomainVar[] z)
|
static ICostAutomaton |
CostAutomaton.makeMultiResources(IAutomaton auto,
int[][][] c,
IntegerVariable[] z)
|
static ICostAutomaton |
CostAutomaton.makeSingleResource(IAutomaton pi,
int[][][] costs,
int inf,
int sup)
|
static ICostAutomaton |
CostAutomaton.makeSingleResource(IAutomaton pi,
int[][] costs,
int inf,
int sup)
|
Uses of ICostAutomaton in choco.kernel.solver.constraints.global.automata.fast_multicostregular.structure |
---|
Constructors in choco.kernel.solver.constraints.global.automata.fast_multicostregular.structure with parameters of type ICostAutomaton | |
---|---|
StoredDirectedMultiGraph(IEnvironment environment,
AbstractIntSConstraint constraint,
org.jgrapht.graph.DirectedMultigraph<Node,Arc> graph,
int[][] layers,
int[] starts,
int[] offsets,
int supportLength,
ICostAutomaton pi,
IntDomainVar[] z)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |