import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import org.jacop.constraints.regular.RegularCloneable;
import org.jacop.core.FailException;
import org.jacop.core.IntDomain;
import org.jacop.core.IntVar;
import org.jacop.core.IntVarCloneable;
import org.jacop.core.IntervalDomain;
import org.jacop.core.Store;
import org.jacop.core.StoreCloneable;
import org.jacop.util.fsm.FSMCloneable;
import org.jacop.util.fsm.FSMState;
import org.jacop.util.fsm.FSMTransition;