public class CostAutomaton extends FiniteAutomaton implements ICostAutomaton
IAutomaton.NonDeterministicOperationException, IAutomaton.StateNotInAutomatonException, IAutomaton.Triple
Constructor and Description |
---|
CostAutomaton() |
CostAutomaton(IAutomaton auto) |
CostAutomaton(IAutomaton auto,
ICounter counter) |
CostAutomaton(IAutomaton auto,
List<ICounter> counters) |
Modifier and Type | Method and 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) |
_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
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
delta, delta, getInitialState, getNbStates, getTransitions, getTransitions, isFinal, isNotFinal, run
public CostAutomaton()
public CostAutomaton(IAutomaton auto)
public CostAutomaton(IAutomaton auto, List<ICounter> counters)
public CostAutomaton(IAutomaton auto, ICounter counter)
public double getCost(int layer, int value)
getCost
in interface ICostAutomaton
public double getCostByState(int layer, int value, int state)
getCostByState
in interface ICostAutomaton
public double getCostByResource(int layer, int value, int counter)
getCostByResource
in interface ICostAutomaton
public int getNbResources()
getNbResources
in interface ICostAutomaton
public double getCostByResourceAndState(int layer, int value, int counter, int state)
getCostByResourceAndState
in interface ICostAutomaton
public List<ICounter> getCounters()
getCounters
in interface ICostAutomaton
public static ICostAutomaton makeSingleResource(IAutomaton pi, int[][][] costs, int inf, int sup)
public static ICostAutomaton makeSingleResource(IAutomaton pi, int[][] costs, int inf, int sup)
public static ICostAutomaton makeMultiResources(IAutomaton pi, int[][][] layer_value_resource, int[] infs, int[] sups)
public static ICostAutomaton makeMultiResources(IAutomaton pi, int[][][][] layer_value_resource_state, int[] infs, int[] sups)
public static ICostAutomaton makeMultiResources(IAutomaton auto, int[][][][] c, IntVar[] z)
public static ICostAutomaton makeMultiResources(IAutomaton auto, int[][][] c, IntVar[] z)
public void addCounter(ICounter c)
public FiniteAutomaton clone() throws CloneNotSupportedException
clone
in interface IAutomaton
clone
in class FiniteAutomaton
CloneNotSupportedException
Copyright © 2018. All rights reserved.