本文整理汇总了Python中common.Common.reset方法的典型用法代码示例。如果您正苦于以下问题：Python Common.reset方法的具体用法？Python Common.reset怎么用？Python Common.reset使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类common.Common的用法示例。
在下文中一共展示了Common.reset方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: __init__
# 需要导入模块: from common import Common [as 别名]
# 或者: from common.Common import reset [as 别名]
def __init__(self, module):
Common.reset() #resets variables if in test mode
self.EMPTYSTRING = SMTLib.SMT_Int("EMPTYSTRING")
self.module = module
self.smt_bracketed_constraints = []
self.cfr_sorts = {}
self.solver = BaseSolver.getSolver()
self.setOptions()
self.clock = Clock.Clock()
self.objectives = []
self.delimeter_count = 0
""" Create simple objects used to store Z3 constraints. """
self.join_constraints = Constraints.GenericConstraints("ClaferModel")
"""
Used to map constraints in the UNSAT core to Boolean variables.
"""
self.unsat_core_trackers = []
self.low_level_unsat_core_trackers = {}
self.unsat_map = {}
self.join_cache = {} # cache to store join expression (asil optimization)
self.translate()