Disjunction of sub-goal conjunctions (any sub-goal suffices).
(self)
| 59 | return self._subgoals[i] |
| 60 | |
| 61 | def as_expr(self) -> BoolRef: |
| 62 | """Disjunction of sub-goal conjunctions (any sub-goal suffices).""" |
| 63 | if not self._subgoals: |
| 64 | return BoolVal(True) # proved |
| 65 | exprs = [g.as_expr() for g in self._subgoals] |
| 66 | return Or(*exprs) |
| 67 | |
| 68 | def __repr__(self) -> str: |
| 69 | return f"ApplyResult({len(self._subgoals)} subgoal(s))" |