Class CostAutomaton
- java.lang.Object
-
- org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
-
- All Implemented Interfaces:
Cloneable
,IAutomaton
,ICostAutomaton
public class CostAutomaton extends FiniteAutomaton implements ICostAutomaton
Created by IntelliJ IDEA. User: julien Date: Nov 23, 2010 Time: 11:07:36 AM
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
IAutomaton.NonDeterministicOperationException, IAutomaton.StateNotInAutomatonException, IAutomaton.Triple
-
-
Constructor Summary
Constructors Constructor Description CostAutomaton()
CostAutomaton(IAutomaton auto)
CostAutomaton(IAutomaton auto, List<ICounter> counters)
CostAutomaton(IAutomaton auto, ICounter counter)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addCounter(ICounter c)
FiniteAutomaton
clone()
double
getCost(int layer, int value)
double
getCostByResource(int layer, int value, int counter)
double
getCostByResourceAndState(int layer, int value, int counter, int state)
double
getCostByState(int layer, int value, int state)
List<ICounter>
getCounters()
int
getNbResources()
static ICostAutomaton
makeMultiResources(IAutomaton pi, int[][][][] layer_value_resource_state, int[] infs, int[] sups)
static ICostAutomaton
makeMultiResources(IAutomaton auto, int[][][][] c, IntVar[] z)
static ICostAutomaton
makeMultiResources(IAutomaton pi, int[][][] layer_value_resource, int[] infs, int[] sups)
static ICostAutomaton
makeMultiResources(IAutomaton auto, int[][][] c, IntVar[] z)
static ICostAutomaton
makeSingleResource(IAutomaton pi, int[][][] costs, int inf, int sup)
static ICostAutomaton
makeSingleResource(IAutomaton pi, int[][] costs, int inf, int sup)
-
Methods inherited from class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
_removeSymbolFromAutomaton, addEpsilon, addState, addToAlphabet, addTransition, complement, complement, concatenate, deleteTransition, delta, delta, fill, getAlphabet, getCharFromInt, getFinalStates, getInitialState, getIntFromChar, getNbStates, getNbSymbols, getTransitions, getTransitions, intersection, isDeterministic, isFinal, isNotFinal, makeBricsAutomaton, max, minimize, reduce, removeDeadTransitions, removeFromAlphabet, removeSymbolFromAutomaton, repeat, repeat, repeat, run, setDeterministic, setFinal, setFinal, setInitialState, setNonFinal, setNonFInal, toDot, toDotty, toString, union
-
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
delta, delta, getInitialState, getNbStates, getTransitions, getTransitions, isFinal, isNotFinal, run
-
-
-
-
Constructor Detail
-
CostAutomaton
public CostAutomaton()
-
CostAutomaton
public CostAutomaton(IAutomaton auto)
-
CostAutomaton
public CostAutomaton(IAutomaton auto, List<ICounter> counters)
-
CostAutomaton
public CostAutomaton(IAutomaton auto, ICounter counter)
-
-
Method Detail
-
getCost
public double getCost(int layer, int value)
- Specified by:
getCost
in interfaceICostAutomaton
-
getCostByState
public double getCostByState(int layer, int value, int state)
- Specified by:
getCostByState
in interfaceICostAutomaton
-
getCostByResource
public double getCostByResource(int layer, int value, int counter)
- Specified by:
getCostByResource
in interfaceICostAutomaton
-
getNbResources
public int getNbResources()
- Specified by:
getNbResources
in interfaceICostAutomaton
-
getCostByResourceAndState
public double getCostByResourceAndState(int layer, int value, int counter, int state)
- Specified by:
getCostByResourceAndState
in interfaceICostAutomaton
-
getCounters
public List<ICounter> getCounters()
- Specified by:
getCounters
in interfaceICostAutomaton
-
makeSingleResource
public static ICostAutomaton makeSingleResource(IAutomaton pi, int[][][] costs, int inf, int sup)
-
makeSingleResource
public static ICostAutomaton makeSingleResource(IAutomaton pi, int[][] costs, int inf, int sup)
-
makeMultiResources
public static ICostAutomaton makeMultiResources(IAutomaton pi, int[][][] layer_value_resource, int[] infs, int[] sups)
-
makeMultiResources
public static ICostAutomaton makeMultiResources(IAutomaton pi, int[][][][] layer_value_resource_state, int[] infs, int[] sups)
-
makeMultiResources
public static ICostAutomaton makeMultiResources(IAutomaton auto, int[][][][] c, IntVar[] z)
-
makeMultiResources
public static ICostAutomaton makeMultiResources(IAutomaton auto, int[][][] c, IntVar[] z)
-
addCounter
public void addCounter(ICounter c)
-
clone
public FiniteAutomaton clone() throws CloneNotSupportedException
- Specified by:
clone
in interfaceIAutomaton
- Overrides:
clone
in classFiniteAutomaton
- Throws:
CloneNotSupportedException
-
-