(self, annotated_cfg, force_taking_exit=False, force_sat: bool=False)
All parameters except `annotated_cfg` are optional.

        :param annotated_cfg:       The AnnotatedCFG that provides the code slice.
        :param force_taking_exit:   Set to True if you want to create a successor based on our slice in case of
                                    unconstrained successors.
        :param force_sat:           If a branch specified by the slice is unsatisfiable, set this option to True if you
                                    want to force it to be satisfiable and be taken anyway.
All parameters except `annotated_cfg` are optional.
All parameters except annotated_cfg are optional .
def __init__(self, annotated_cfg, force_taking_exit=False, force_sat: bool=False):
        """
        All parameters except `annotated_cfg` are optional.

        :param annotated_cfg:       The AnnotatedCFG that provides the code slice.
        :param force_taking_exit:   Set to True if you want to create a successor based on our slice in case of
                                    unconstrained successors.
        :param force_sat:           If a branch specified by the slice is unsatisfiable, set this option to True if you
                                    want to force it to be satisfiable and be taken anyway.
        """
        super(Slicecutor, self).__init__()

        self._annotated_cfg = annotated_cfg
        self._force_taking_exit = force_taking_exit
        self._force_sat = force_sat
def __init__ ( self , annotated_cfg , force_taking_exit = False , force_sat : bool = False ) : super ( Slicecutor , self ) . __init__ ( ) self . _annotated_cfg = annotated_cfg self . _force_taking_exit = force_taking_exit self . _force_sat = force_sat