Method txt

problem.py:210–215

(self)

    return p

  def txt(self) -> str:
    return (
        '; '.join([c.txt() for c in self.clauses]) + ' ? ' + self.goal.txt()
        if self.goal
        else ''
    )

  def setup_str_from_problem(self, definitions: list[Definition]) -> str:
    """Construct the <theorem_premises> string from Problem object."""