dialog_explore.cpp File Reference

Detailed Description

dialog menu for exploring decompositions

Author

Michael Bastubbe

Hanna Franzen

This file contains all dialog calls to build and use the explore menu. The explore menu gives the user detailed information about all decompositions and a possibility to edit such.

Definition in file dialog_explore.cpp.

#include <cassert>
#include <cstddef>
#include <cstdlib>
#include <string>
#include <iostream>
#include <regex>
#include <map>
#include <sstream>
#include <iomanip>
#include "class_partialdecomp.h"
#include "cons_decomp.h"
#include "cons_decomp.hpp"
#include "scoretype.h"

Go to the source code of this file.

Data Structures
class	gcg::AbstractColumn
class	gcg::Column< T >

Namespaces
	gcg

Macros
#define	DEFAULT_COLUMN_MIN_WIDTH   4
#define	DEFAULT_SORT_HEADER   "score"
#define	DEFAULT_MENULENGTH   10

Typedefs
using	gcg::UNKNOWN_DUMMY_TYPE = bool

Enumerations
enum	gcg::RETTYPE {   gcg::UNKNOWN,   gcg::INTEGER,   gcg::FLOAT,   gcg::BOOLEAN,   gcg::STRING }

Functions
static UNKNOWN_DUMMY_TYPE	gcg::UNKNOWN_DUMMY_CALLBACK (SCIP *scip, int id)
bool	gcg::updateIdList (SCIP *scip, std::vector< int > &idlist, unsigned int &npartialdecs, bool includeopenpartialdecs)
static void	gcg::sortPartialdecList (SCIP *scip, std::vector< int > &idlist, std::string &header, std::vector< AbstractColumn * > &columns, bool asc)
	local sorting function for partialdec id vectors More...
static SCIP_RETCODE	gcg::GCGdialogSetNEntires (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, int listlength, int &menulength)
static SCIP_RETCODE	gcg::GCGdialogChangeScore (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog)
static SCIP_RETCODE	gcg::outputCharXTimes (SCIP *scip, const char letter, int x)
static SCIP_RETCODE	gcg::GCGdialogShowMenu (SCIP *scip, std::vector< AbstractColumn * > &columns, unsigned int &npartialdecs, const int startindex, int menulength, std::vector< int > &idlist, bool sortasc, std::string sortby, bool listopenpartialdecs)
	show current menu containing partialdec information More...
static SCIP_RETCODE	gcg::GCGdialogShowLegend (SCIP *scip, std::vector< AbstractColumn * > &columns)
static SCIP_RETCODE	gcg::GCGdialogShowHelp (SCIP *scip)
	Shows help section of explore menu. More...
static SCIP_RETCODE	gcg::GCGdialogSelectVisualize (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, std::vector< int > &idlist, SCIP_Bool open)
static SCIP_RETCODE	gcg::GCGdialogInspectPartialdec (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, std::vector< int > &idlist)
static SCIP_RETCODE	gcg::GCGdialogSelect (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, std::vector< int > idlist)
static SCIP_RETCODE	gcg::GCGdialogSortAsc (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, bool &asc)
static bool	gcg::isHeader (std::string &header, std::vector< AbstractColumn * > &columns)
static SCIP_RETCODE	gcg::GCGdialogSortBy (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, std::vector< AbstractColumn * > &columns, std::string &sortby)
static SCIP_RETCODE	gcg::GCGdialogChangeListMode (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, bool &listopenpartialdecs)
static SCIP_RETCODE	gcg::GCGdialogExecCommand (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, std::vector< AbstractColumn * > &columns, char *command, int &startindex, int &menulength, bool &finished, std::vector< int > &idlist, bool &sortasc, std::string &sortby, bool &listopenpartialdecs)
static int	gcg::partialdecIdDummyGetter (SCIP *scip, int id)
SCIP_RETCODE	gcg::GCGdialogExecExplore (SCIP *scip, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog)
	method to handle user input for "explore" command More...

Variables
const char *	DEFAULT_COLUMNS [] {"nr", "id", "nbloc", "nmacon", "nlivar", "nmavar", "nstlva", "score", "history", "pre", "nopcon", "nopvar", "sel"}

Macro Definition Documentation

DEFAULT_COLUMN_MIN_WIDTH

#define DEFAULT_COLUMN_MIN_WIDTH   4

min width of a column in the menu table

Definition at line 56 of file dialog_explore.cpp.

DEFAULT_SORT_HEADER

#define DEFAULT_SORT_HEADER   "score"

Definition at line 57 of file dialog_explore.cpp.

DEFAULT_MENULENGTH

#define DEFAULT_MENULENGTH   10

initial number of entries in menu default column headers

Definition at line 59 of file dialog_explore.cpp.

Variable Documentation

DEFAULT_COLUMNS

const char* DEFAULT_COLUMNS[] {"nr", "id", "nbloc", "nmacon", "nlivar", "nmavar", "nstlva", "score", "history", "pre", "nopcon", "nopvar", "sel"}

Definition at line 62 of file dialog_explore.cpp.

Referenced by GCGdialogExecExplore().