返回 DeepSeek-Reasonix
transitions.py
根目录 / benchmarks / verification-stress / tasks / vs-neu-enumsplit / workdir / transitions.py
1 import states
2
3 LEGAL = {"new": ("paid",), "paid": ("closed",), "closed": ()}
4
5 def can_move(a, b):
6 return b in LEGAL[a]
7
7 lines PYTHON