def __init__(self, cfr, model):
'''
:param cfr: The Z3 solver.
:type cfr: :class:`~common.Z3Instance`
'''
self.cfr = cfr
self.model = model
self.tree = SimpleTree()
self.pickledInstance = []
def __init__(self, cfr, model):
'''
:param cfr: The Z3 solver.
:type cfr: :class:`~common.Z3Instance`
'''
self.cfr = cfr
self.model = model
self.tree = SimpleTree()
self.pickledInstance = []
