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]))
])
