*
* @param VARS sequence of variables
* @param AUTOMATON a deterministic finite automaton defining the regular language
*/
public static Constraint regular(IntVar[] VARS, IAutomaton AUTOMATON) {
return new Constraint("Regular", new PropRegular(VARS, AUTOMATON));
}