(self, cmd)
Sends a command to the STDIN pipe.
Sends a command to the STDIN pipe.
Sends a command to the STDIN pipe .
def _send_command(self, cmd):
        """Sends a command to the STDIN pipe."""
        self._debug("Sending: %s", cmd.serialize_to_string())
        cmd.serialize(self.solver_stdin, daggify=True)
        self.solver_stdin.write("\n")
        self.solver_stdin.flush()
def _send_command ( self , cmd ) : self . _debug ( "Sending: %s" , cmd . serialize_to_string ( ) ) cmd . serialize ( self . solver_stdin , daggify = True ) self . solver_stdin . write ( "\n" ) self . solver_stdin . flush ( )