Список подклассов: я делаю это правильно?

Question

Я хочу подкласс list в Clause, чтобы дать ему три свойства:

1. Каждый элемент Clause является а Lit

2. Некоторые операторы, такие как | и & перегруженные

3. Если a и b имеют тип Clause, то есть a+b

Это то, что у меня есть до сих пор, но я уверен, что это неправильно ... что это лучший способ сделать это?

class Clause(list): 
    def __init__(self, raw_list): 
     for lit in raw_list: 
      if not isinstance(lit, Lit): 
       raise TypeError, 'Clause contains non-Lit elements' 
     self = raw_list 

    def __invert__(self): 
     return Formula([Clause([~lit]) for lit in self]) 

    def __or__(self, right): 
     if not isinstance(right, Clause): 
      raise TypeError, 'RHS is not of type Clause' 
     return Formula([self + right]) 

    def __and__(self, right): 
     if not isinstance(right, Clause): 
      raise TypeError, 'RHS is not of type Clause' 
     return Formula([self, right]) 

Answer 1

Заявление self = raw_list ничего не делает.

Вы должны вызвать список конструктор вместо:

list.__init__(self, raw_list)