Exemplo n.º 1
0
 def _assert(self, submodel, interpretation):
     return (Variable.get_name(self.x) ==
             Variable.get_name(self.y))
Exemplo n.º 2
0
 def _assert(self, submodel, interpretation):
     return (Variable.get_name(self.x) == Variable.get_name(self.y))
Exemplo n.º 3
0
 def _assert(self, submodel, interpretation):
     return Variable.get_name(self.v) == self.n
Exemplo n.º 4
0
 def _assert(self, submodel, interpretation):
     return Variable.get_name(self.var) == self.name_as_number