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.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	Description
default Constraint	IIntConstraintFactory.regular(IntVar[] vars, IAutomaton automaton)	Creates a regular constraint.
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	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	Description
interface	ICostAutomaton	Created by IntelliJ IDEA.

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

Modifier and Type	Class	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	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	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	Description
CostAutomaton(IAutomaton auto)
CostAutomaton(IAutomaton auto, List<ICounter> counters)
CostAutomaton(IAutomaton auto, ICounter counter)