|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of IAutomaton in choco |
---|
Methods in choco with parameters of type IAutomaton | |
---|---|
static Constraint |
Choco.costRegular(IntegerVariable[] vars,
IntegerVariable costVar,
IAutomaton auto,
int[][][] costs)
Deprecated. reorder parameters |
static Constraint |
Choco.costRegular(IntegerVariable costVar,
IntegerVariable[] vars,
IAutomaton auto,
int[][] costs)
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.costRegular(IntegerVariable costVar,
IntegerVariable[] vars,
IAutomaton auto,
int[][][] costs)
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,
IAutomaton auto,
int[][][] costs)
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 |
static Constraint |
Choco.multiCostRegular(IntegerVariable[] costVars,
IntegerVariable[] vars,
IAutomaton auto,
int[][][][] costs)
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. |
static Constraint |
Choco.regular(IAutomaton auto,
IntegerVariable[] vars)
Deprecated. reorder parameters |
static Constraint |
Choco.regular(IntegerVariable[] vars,
IAutomaton auto)
Create a Regular constraint that enforce the sequence of variables to be a word recognized by the dfa auto. |
static Constraint |
Choco.softMultiCostRegular(IntegerVariable[] vars,
IntegerVariable[] counters,
IntegerVariable[] penaltyVars,
IntegerVariable globalPenalty,
IPenaltyFunction[] pfunction,
IAutomaton auto,
int[][][][] costs)
|
static Constraint |
Choco.softMultiCostRegular(IntegerVariable[] vars,
IntegerVariable[] counters,
IntegerVariable[] penaltyVars,
IntegerVariable globalPenalty,
IPenaltyFunction[] pfunction,
IAutomaton auto,
int[][][][] costs,
int... sumDimension)
|
Uses of IAutomaton in choco.cp.solver.constraints.global.automata.fast_costregular |
---|
Constructors in choco.cp.solver.constraints.global.automata.fast_costregular with parameters of type IAutomaton | |
---|---|
CostRegular(IntDomainVar[] vars,
IAutomaton pi,
int[][][] costs,
Solver s)
|
|
CostRegular(IntDomainVar[] vars,
IAutomaton pi,
int[][] costs,
Solver s)
|
Uses of IAutomaton in choco.cp.solver.constraints.global.automata.fast_multicostregular |
---|
Constructors in choco.cp.solver.constraints.global.automata.fast_multicostregular with parameters of type IAutomaton | |
---|---|
MultiCostRegular(IntDomainVar[] vars,
IntDomainVar[] CR,
IAutomaton auto,
int[][][][] costs,
Solver solver)
Constructs a multi-cost-regular constraint propagator |
|
MultiCostRegular(IntDomainVar[] vars,
IntDomainVar[] CR,
IAutomaton auto,
int[][][] costs,
Solver solver)
Constructs a multi-cost-regular constraint propagator |
|
SoftMultiCostRegular(IntDomainVar[] x,
IntDomainVar[] y,
IntDomainVar[] z,
IntDomainVar Z,
int[] indexes,
IPenaltyFunction[] f,
IAutomaton pi,
int[][][][] costs,
CPSolver solver)
|
Uses of IAutomaton in choco.cp.solver.constraints.global.automata.fast_regular |
---|
Constructors in choco.cp.solver.constraints.global.automata.fast_regular with parameters of type IAutomaton | |
---|---|
FastRegular(IEnvironment environment,
IntDomainVar[] vars,
IAutomaton auto)
Construct a new explained regular constraint |
Uses of IAutomaton in choco.cp.solver.constraints.global.lightcostregular.structure |
---|
Constructors in choco.cp.solver.constraints.global.lightcostregular.structure with parameters of type IAutomaton | |
---|---|
LayeredGraph(IntDomainVar[] vars,
IntDomainVar z,
IAutomaton pi,
double[][][] costs,
IEnvironment environment)
|
Uses of IAutomaton in choco.kernel.model.constraints.automaton.FA |
---|
Subinterfaces of IAutomaton in choco.kernel.model.constraints.automaton.FA | |
---|---|
interface |
ICostAutomaton
Created by IntelliJ IDEA. |
Classes in choco.kernel.model.constraints.automaton.FA that implement IAutomaton | |
---|---|
class |
CostAutomaton
Created by IntelliJ IDEA. |
class |
FiniteAutomaton
Created by IntelliJ IDEA. |
Methods in choco.kernel.model.constraints.automaton.FA that return IAutomaton | |
---|---|
IAutomaton |
IAutomaton.clone()
|
IAutomaton |
FiniteAutomaton.repeat()
|
IAutomaton |
FiniteAutomaton.repeat(int min)
|
IAutomaton |
FiniteAutomaton.repeat(int min,
int max)
|
Methods in choco.kernel.model.constraints.automaton.FA with parameters of type IAutomaton | |
---|---|
FiniteAutomaton |
FiniteAutomaton.intersection(IAutomaton otherI)
|
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)
|
Constructors in choco.kernel.model.constraints.automaton.FA with parameters of type IAutomaton | |
---|---|
CostAutomaton(IAutomaton auto)
|
|
CostAutomaton(IAutomaton auto,
ICounter counter)
|
|
CostAutomaton(IAutomaton auto,
List<ICounter> counters)
|
Uses of IAutomaton in samples.multicostregular.planner |
---|
Methods in samples.multicostregular.planner that return IAutomaton | |
---|---|
IAutomaton |
InstanceMaker.makeAutomaton(int nbAct)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |