Uses of Interface
choco.kernel.model.constraints.automaton.FA.IAutomaton

Packages that use IAutomaton
choco   
choco.cp.solver.constraints.global.automata.fast_costregular   
choco.cp.solver.constraints.global.automata.fast_multicostregular   
choco.cp.solver.constraints.global.automata.fast_regular   
choco.cp.solver.constraints.global.lightcostregular.structure   
choco.kernel.model.constraints.automaton.FA   
samples.multicostregular.planner   
 

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)
           
 



Copyright © 2012. All Rights Reserved.