本文整理汇总了Python中display.Display.quad方法的典型用法代码示例。如果您正苦于以下问题：Python Display.quad方法的具体用法？Python Display.quad怎么用？Python Display.quad使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类display.Display的用法示例。
在下文中一共展示了Display.quad方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: ValueError
# 需要导入模块: from display import Display [as 别名]
# 或者: from display.Display import quad [as 别名]
hoods = tutil.getHoods(tutil.checkdiff(diff), r=r_min)
if verbose > 0:
print 'diff:'
print diff
print 'checkdiff:'
print tutil.checkdiff(diff, aut)
print 'hoods:'
print hoods
for hood in hoods:
for addr in hood:
t.getMatches(addr,exact=True)[0].setMark('hood')
for k,v in diff.items():
for addr in v:
t.getMatches(addr,exact=True)[0].setMark('chg')
print 'force redraw'
d.quad(t)
d.pose2d([x,y,h])
d.blit()
print 'trying patch'
aut.writeDotFile("pre.dot", hideZeros=True)
patched_aut = tutil.tryPatch(spec, aut, diff,
r_min=r_min, r_max=r_max, verbose=1)
if patched_aut is None:
raise ValueError("patching failed.")
else:
if aut == patched_aut:
print "="*20 + " NO CHANGE"
aut = patched_aut
aut.writeDotFile("post.dot", hideZeros=True)
print "Patching success! New size is "+str(len(aut))
f,init = tutil.graphToFormula(tutil.dumpGraph())