Regular constraints
[Using finite domain integers]
Classes | |
| class | org.gecode.DFA |
| Deterministic finite automaton. More... | |
| class | org.gecode.REG |
| Regular expression expressions. More... | |
Functions | |
| static void | org::gecode::Gecode.regular (Space home, VarArray<?extends IntVar > x, REG r) |
| Post propagator for regular constraint. | |
| static void | org::gecode::Gecode.regular (Space home, VarArray<?extends IntVar > x, REG r, IntConLevel cl) |
| Post propagator for regular constraint. | |
Function Documentation
| static void org.gecode.Gecode.regular | ( | Space | home, | |
| VarArray<?extends IntVar > | x, | |||
| REG | r | |||
| ) | [static, inherited] |
Post propagator for regular constraint.
The elements of x must be a word of the language described by the regular expression r.
Definition at line 1167 of file Gecode.java.
| static void org.gecode.Gecode.regular | ( | Space | home, | |
| VarArray<?extends IntVar > | x, | |||
| REG | r, | |||
| IntConLevel | cl | |||
| ) | [static, inherited] |
Post propagator for regular constraint.
The elements of x must be a word of the language described by the regular expression r.
Definition at line 1177 of file Gecode.java.