sampler.cpp File Reference

#include <csignal>
#include <cstdio>
#include <iostream>
#include <fstream>
#include <sstream>
#include <algorithm>
#include <ctime>
#include <math.h>
#include <qthread.h>
#include <gzstream.h>
#include "coloring.hpp"
#include "random.hpp"
#include "gui.hpp"
#include "point_obs.hpp"
#include "range_obs.hpp"
#include "sonar_obs.hpp"
#include "coloring_mcmc.hpp"
#include "cn94.hpp"
#include "query_point.hpp"
#include "estimation.hpp"
#include "parsecl.hpp"
#include "properties.hpp"
#include "verification.hpp"

Include dependency graph for sampler.cpp:

Go to the source code of this file.

Functions
void	sigint (int sig)
int	sampler (int argc, char **argv, bool visualize, bool toolbar, double refreshRateHz, const Arak::Util::PropertyMap &props)
	The sampling program.
int	main (int argc, char **argv)
	This is a wrapper that parses the command line and invokes the program.
Variables
const char *	default_props
	These are the default properties that are assumed.
volatile std::sig_atomic_t	interrupted = 0

---

Function Documentation

int main (  int  argc, char **  argv )

This is a wrapper that parses the command line and invokes the program. Definition at line 449 of file sampler.cpp. References default_props, Arak::Util::PropertyMap, sampler(), and Arak::Util::CommandLine::Option::supplied().

int sampler (  int  argc, char **  argv, bool  visualize, bool  toolbar, double  refreshRateHz, const Arak::Util::PropertyMap &  props )

The sampling program. Parameters: argc  the number of command-line arguments (used by Qt) argv  the command line arguments (used by Qt) visualize  if this is true, the GUI is started toolbar  if this is true, the toolbar is used in the GUI is started refreshRateHz  the rate at which the GUI should be refreshed (in Hz) props  the properties used to define the model, sampler, and estimation Definition at line 285 of file sampler.cpp. References Arak::MarkovChain< MarkovChainTraits >::acceptance(), Arak::AnnealedArakMarkovChain, Arak::ArakMarkovChain, Arak::MarkovChain< MarkovChainTraits >::getNumMoves(), Arak::MarkovChain< MarkovChainTraits >::getNumSteps(), Arak::MarkovChain< MarkovChainTraits >::getState(), Arak::HillClimbingArakMarkovChain, Arak::InitGui(), interrupted, process, Arak::Util::PropertyMap, sigint(), and Arak::CN94Proposal::writeStatistics(). Referenced by main().

void sigint (  int  sig  )

Definition at line 68 of file sampler.cpp. References interrupted. Referenced by sampler().

---

Variable Documentation

const char* default_props

Initial value: "\n\ arak.proposal = cn94 \n\ arak.cn94.zeta.bd_not_mr = 0.5 \n\ arak.cn94.zeta.move_not_recolor = 0.5 \n\ arak.cn94.zeta.birth_not_death = 0.5 \n\ arak.cn94.zeta.int_not_boundary = 0.68 \n\ arak.cn94.zeta.bound_not_corner = 0.9 \n\ arak.cn94.zeta.ib_vertex_not_triangle = 0.6 \n\ arak.modified_cn94.zeta.local_not_global_recolor = 0.9 \n\ arak.modified_cn94.zeta.local_not_global_bd_tri_birth = 0.5 \n\ # arak.sampler.coloring_path = /tmp/coloring.out \n\ # arak.sampler.map_coloring_path = /tmp/map-coloring.out \n\ # arak.sampler.estimates_path = /tmp/estimates.out.gz \n\ # arak.sampler.flush_interval = 600.0 \n\ # arak.sampler.samples_path = /tmp/samples.bin \n\ # arak.sampler.record_stride = 1000 \n\ arak.scale = 1.0 \n\ arak.coloring.xmin = 0.0 \n\ arak.coloring.ymin = 0.0 \n\ arak.coloring.width = 1.0 \n\ arak.coloring.height = 1.0 \n\ arak.coloring.rows = 35 \n\ arak.coloring.cols = 35 \n\ arak.mcmc.estimation.stride = 100 \n\ arak.mcmc.estimation.burn_in = 1000 \n\ arak.mcmc.estimation.grid_size = 10000 \n\ " These are the default properties that are assumed. These can be overridden with property files or properties explicitly specified on the command line. Definition at line 38 of file sampler.cpp. Referenced by main().

volatile std::sig_atomic_t interrupted = 0

Definition at line 67 of file sampler.cpp. Referenced by sampler(), and sigint().

---