def _eq_internal(self, o): if type(self) != type(o): return NotImplemented return simsym.symand( [self.anon == o.anon, self.writable == o.writable, simsym.symif(self.anon, self.anondata == o.anondata, simsym.symand([self.off == o.off, self.inum == o.inum]))])
def _eq_internal(self, o): if type(self) != type(o): return NotImplemented return simsym.symand([ self.anon == o.anon, self.writable == o.writable, simsym.symif( self.anon, self.anondata == o.anondata, simsym.symand([self.off == o.off, self.inum == o.inum])) ])
def _eq_internal(self, o): if type(self) != type(o): return NotImplemented return simsym.symand( [self.ispipe == o.ispipe, simsym.symif(self.ispipe, simsym.symand([self.pipeid == o.pipeid, self.pipewriter == o.pipewriter]), simsym.symand([self.inum == o.inum, self.off == o.off]))])
def _eq_internal(self, o): if type(self) != type(o): return NotImplemented return simsym.symand([ self.ispipe == o.ispipe, simsym.symif( self.ispipe, simsym.symand( [self.pipeid == o.pipeid, self.pipewriter == o.pipewriter]), simsym.symand([self.inum == o.inum, self.off == o.off])) ])