Method __init__

problem.py:414–442

(
      self, premise: list[Construction], conclusion: list[Construction]
  )

    )

  def __init__(
      self, premise: list[Construction], conclusion: list[Construction]
  ):
    if len(conclusion) != 1:
      raise ValueError('Cannot have more than one conclusion')
    self.name = '_'.join([p.name for p in premise + conclusion])
    self.premise = premise
    self.conclusion = conclusion
    self.is_arg_reduce = False

    assert len(self.conclusion) == 1
    con = self.conclusion[0]

    if con.name in [
        'eqratio3',
        'midp',
        'contri',
        'simtri',
        'contri2',
        'simtri2',
        'simtri*',
        'contri*',
    ]:
      return

    prem_args = set(sum([p.args for p in self.premise], []))
    con_args = set(con.args)
    if len(prem_args) <= len(con_args):
      self.is_arg_reduce = True

  def txt(self) -> str:
    premise_txt = ', '.join([clause.txt() for clause in self.premise])