(self)
| 230 | return label, next_gs, sub_name |
| 231 | |
| 232 | def __repr__(self) -> str: |
| 233 | try: |
| 234 | return f"<GoalState n_goals={self.n_goals()} solved={self.is_solved()}>" |
| 235 | except Exception: |
| 236 | return "<GoalState (handle invalid)>" |
| 237 | |
| 238 | |
| 239 | class Kernel: |