Example #1
0
 def __hash__(self):
     return syntax.hash_tuplify(self.kind, self.args, self.subproofs)
Example #2
0
	def __hash__ (self):
		return syntax.hash_tuplify (self.kind, self.args,
			self.subproofs)
Example #3
0
def problem_hash(p):
    return syntax.hash_tuplify([p.name, p.entries, sorted(p.outputs.iteritems()), sorted(p.nodes.iteritems())])
Example #4
0
def problem_hash(p):
    return syntax.hash_tuplify([
        p.name, p.entries,
        sorted(p.outputs.iteritems()),
        sorted(p.nodes.iteritems())
    ])