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 = []