(self)
Resets the parser to the initial state
Resets the parser to the initial state
Resets the parser to the initial state
def _reset(self):
        """Resets the parser to the initial state"""
        self.cache = SmtLibExecutionCache(self.env)
        self.logic = None
        mgr = self.env.formula_manager
        self.cache.update({'false':mgr.FALSE(), 'true':mgr.TRUE()})
def _reset ( self ) : self . cache = SmtLibExecutionCache ( self . env ) self . logic = None mgr = self . env . formula_manager self . cache . update ( { 'false' : mgr . FALSE ( ) , 'true' : mgr . TRUE ( ) } )