public static Constraint Transition(this IntVar[] vars, IntTupleSet transitions, long initial_state, int[] final_states) { Solver solver = GetSolver(vars); return(solver.MakeTransitionConstraint(vars, transitions, initial_state, final_states)); }