Method __init__

problem.py:82–95

(self, points: list[str], constructions: list[Construction])

    )

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

    for p in points:
      num = None
      if isinstance(p, str) and '@' in p:
        p, num = p.split('@')
        x, y = num.split('_')
        num = float(x), float(y)
      self.points.append(p)
      self.nums.append(num)

    self.constructions = constructions

  def translate(self, mapping: dict[str, str]) -> Clause:
    points0 = []