Method __init__

problem.py:347–371

(
      self,
      construction: Construction,
      rely: dict[str, str],
      deps: Clause,
      basics: list[tuple[list[str], list[Construction]]],
      numerics: list[Construction],
  )

    )

  def __init__(
      self,
      construction: Construction,
      rely: dict[str, str],
      deps: Clause,
      basics: list[tuple[list[str], list[Construction]]],
      numerics: list[Construction],
  ):
    self.construction = construction
    self.rely = rely
    self.deps = deps
    self.basics = basics
    self.numerics = numerics

    args = set()
    for num in numerics:
      args.update(num.args)

    self.points = []
    self.args = []
    for p in self.construction.args:
      if p in args:
        self.args.append(p)
      else:
        self.points.append(p)


class Theorem: