Uses of Interface
org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton

Packages that use IAutomaton

Package	Description
org.chocosolver.solver.constraints
org.chocosolver.solver.constraints.binary
org.chocosolver.solver.constraints.nary.automata
org.chocosolver.solver.constraints.nary.automata.FA

Uses of IAutomaton in org.chocosolver.solver.constraints

Methods in org.chocosolver.solver.constraints with parameters of type IAutomaton

Modifier and Type	Method and Description
default Constraint	IIntConstraintFactory.regular(IntVar[] vars, IAutomaton automaton) Creates a regular constraint.

Uses of IAutomaton in org.chocosolver.solver.constraints.binary

Methods in org.chocosolver.solver.constraints.binary with parameters of type IAutomaton

Modifier and Type	Method and Description
default IntVar[]	IDecompositionFactory.regularDec(IntVar[] vars, IAutomaton automaton) Creates and posts a decomposition of a regular constraint.

Uses of IAutomaton in org.chocosolver.solver.constraints.nary.automata

Constructors in org.chocosolver.solver.constraints.nary.automata with parameters of type IAutomaton

Constructor and Description
PropRegular(IntVar[] variables, IAutomaton automaton)

Uses of IAutomaton in org.chocosolver.solver.constraints.nary.automata.FA

Subinterfaces of IAutomaton in org.chocosolver.solver.constraints.nary.automata.FA

Modifier and Type	Interface and Description
interface	ICostAutomaton Created by IntelliJ IDEA.

Classes in org.chocosolver.solver.constraints.nary.automata.FA that implement IAutomaton

Modifier and Type	Class and Description
class	CostAutomaton Created by IntelliJ IDEA.
class	FiniteAutomaton Created by IntelliJ IDEA.

Methods in org.chocosolver.solver.constraints.nary.automata.FA that return IAutomaton

Modifier and Type	Method and Description
IAutomaton	IAutomaton.clone()
IAutomaton	FiniteAutomaton.repeat()
IAutomaton	FiniteAutomaton.repeat(int min)
IAutomaton	FiniteAutomaton.repeat(int min, int max)

Methods in org.chocosolver.solver.constraints.nary.automata.FA with parameters of type IAutomaton

Modifier and Type	Method and Description
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, IntVar[] z)
static ICostAutomaton	CostAutomaton.makeMultiResources(IAutomaton pi, int[][][] layer_value_resource, int[] infs, int[] sups)
static ICostAutomaton	CostAutomaton.makeMultiResources(IAutomaton auto, int[][][] c, IntVar[] 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 org.chocosolver.solver.constraints.nary.automata.FA with parameters of type IAutomaton

Constructor and Description
CostAutomaton(IAutomaton auto)
CostAutomaton(IAutomaton auto, ICounter counter)
CostAutomaton(IAutomaton auto, List<ICounter> counters)