org.chocosolver.solver.constraints.binary

Interface IDecompositionFactory

All Superinterfaces:

ISelf<Model>

All Known Subinterfaces:

IModel

All Known Implementing Classes:

Model

public interface IDecompositionFactory
extends ISelf<Model>

An interface dedicated to list decomposition of some constraints.

Project: choco-solver.

Since:

12/06/2018.

Author:

Charles Prud'homme

Method Summary

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

Methods inherited from interface org.chocosolver.solver.ISelf

ref

Method Detail

regularDec

default IntVar[] regularDec(IntVar[] vars,
                            IAutomaton automaton)

Creates and posts a decomposition of a regular constraint. Enforces the sequence of vars to be a word recognized by the deterministic finite automaton. For example regexp = "(1|2)(3*)(4|5)"; The same dfa can be used for different propagators.

Parameters:

vars - sequence of variables

automaton - a deterministic finite automaton defining the regular language

Returns:

array of variables that encodes the states, which can optionally be constrained too.