Method from_txt

problem.py:73–80

(cls, data: str)

  @classmethod
  def from_txt(cls, data: str) -> Clause:
    if data == ' =':
      return Clause([], [])
    points, constructions = data.split(' = ')
    return Clause(
        points.split(' '),
        [Construction.from_txt(c) for c in constructions.split(', ')],
    )

  def __init__(self, points: list[str], constructions: list[Construction]):
    self.points = []