Пример #1
0
 def _assert(self, submodel, interpretation):
     return (Variable.get_name(self.x) ==
             Variable.get_name(self.y))
Пример #2
0
 def _assert(self, submodel, interpretation):
     return (Variable.get_name(self.x) == Variable.get_name(self.y))
Пример #3
0
 def _assert(self, submodel, interpretation):
     return Variable.get_name(self.v) == self.n
Пример #4
0
 def _assert(self, submodel, interpretation):
     return Variable.get_name(self.var) == self.name_as_number