示例#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