コード例 #1
0
ファイル: check.py プロジェクト: yyshen/graph-refine 
 def __hash__(self):
     return syntax.hash_tuplify(self.kind, self.args, self.subproofs)
コード例 #2
0
ファイル: check.py プロジェクト: SEL4PROJ/graph-refine 
	def __hash__ (self):
		return syntax.hash_tuplify (self.kind, self.args,
			self.subproofs)
コード例 #3
0
ファイル: loop_bounds.py プロジェクト: SEL4PROJ/graph-refine 
def problem_hash(p):
    return syntax.hash_tuplify([p.name, p.entries, sorted(p.outputs.iteritems()), sorted(p.nodes.iteritems())])
コード例 #4
0
ファイル: loop_bounds.py プロジェクト: yyshen/graph-refine 
def problem_hash(p):
    return syntax.hash_tuplify([
        p.name, p.entries,
        sorted(p.outputs.iteritems()),
        sorted(p.nodes.iteritems())
    ])