(self, environment, logic, **options)
See py:func:`Solver.__init__()`.
See py:func:`Solver.__init__()`.
See py : func : Solver . __init__ () .
def __init__(self, environment, logic, **options):
        """See py:func:`Solver.__init__()`."""
        Solver.__init__(self, environment, logic, **options)

        self._last_result = None
        self._last_command = None

        self._assertion_stack = []
        self._backtrack_points = []
def __init__ ( self , environment , logic , * * options ) : Solver . __init__ ( self , environment , logic , * * options ) self . _last_result = None self . _last_command = None self . _assertion_stack = [ ] self . _backtrack_points = [ ]