(self)
return lst
Reads and parses an assignment from the STDOUT pipe
Reads and parses an assignment from the STDOUT pipe
Reads and parses an assignment from the STDOUT pipe
def _get_value_answer(self):
        """Reads and parses an assignment from the STDOUT pipe"""
        lst = self.parser.get_assignment_list(self.solver_stdout)
        self._debug("Read: %s", lst)
        return lst
def _get_value_answer ( self ) : lst = self . parser . get_assignment_list ( self . solver_stdout ) self . _debug ( "Read: %s" , lst ) return lst