stamina::core::Options Class Reference

#include <Options.h>

Static Public Member Functions
static bool	checkOptions ()
static void	setArgs (struct arguments *arguments)

Static Public Attributes
static std::string	model_file
static std::string	properties_file
static double	kappa
static double	reduce_kappa
static double	approx_factor
static double	prob_win
static uint64_t	max_approx_count
static bool	no_prop_refine
static std::string	cudd_max_mem
static std::string	export_filename
static std::string	export_perimeter_states
static std::string	import_filename
static std::string	property
static std::string	consts
static std::string	export_trans
static bool	rank_transitions
static uint64_t	max_iterations
static uint64_t	max_states
static uint8_t	method
static uint8_t	threads

Detailed Description

Options

Member Function Documentation

checkOptions()

bool stamina::core::Options::checkOptions ( )

static

Checks validity of options

Returns

Whether all options are good

setArgs()

void stamina::core::Options::setArgs ( struct arguments *  arguments )

static

Sets the values of these options again

Parameters

arguments

Command-line arguments to pass in

---

The documentation for this class was generated from the following files:

• /home/josh/Documents/Work/stamina-cplusplus/src/stamina/core/Options.h
• /home/josh/Documents/Work/stamina-cplusplus/src/stamina/core/Options.cpp