#include <options.h>

Public Member Functions
	GlobalOptions ()=default

	~GlobalOptions ()=default

void	setRewrite (bool rewrite)

bool	getRewrite () const

bool	setLogic (const std::string &logic_name)

void	setOption (const std::string &key, const std::string &value)

void	setInfo (const std::string &key, const std::string &value)

std::string	getLogic () const

void	getValue (const std::string &key, const std::string &value)

void	getInfo (const std::string &key, const std::string &value)

void	getOption (const std::string &key, const std::string &value)

bool	isIntTheory () const

bool	isRealTheory () const

bool	isIntRealTheory () const

void	setEvaluatePrecision (mpfr_prec_t precision)

mpfr_prec_t	getEvaluatePrecision () const

void	setEvaluateUseFloating (bool use_floating)

bool	getEvaluateUseFloating () const

void	setKeepDivision (bool keep)

void	setKeepLet (bool keep)

bool	getKeepDivision () const

bool	getKeepLet () const

void	setExpandFunctions (bool expand)

bool	getExpandFunctions () const

void	setExpandRecursiveFunctions (bool expand)

bool	getExpandRecursiveFunctions () const

std::string	toString () const
	Generate a detailed configuration report.

Public Attributes
std::string	logic = "ALL"

bool	check_sat = false

bool	get_assertions = false

bool	get_assignment = false

std::unordered_map< std::string, std::string >	info

std::unordered_map< std::string, std::string >	get_info

bool	get_model = false

std::unordered_map< std::string, std::string >	options

std::unordered_map< std::string, std::string >	get_options

bool	get_proof = false

bool	get_unsat_assumptions = false

bool	get_unsat_core = false

std::unordered_map< std::string, std::string >	values

bool	get_objectives = false

bool	evaluate_use_floating = true

mpfr_prec_t	evaluate_precision = 128

bool	keep_division_if_not_divisible = true

bool	parsing_preserve_let = true

bool	expand_functions = true

bool	expand_recursive_functions = false

bool	rewrite = true

Detailed Description

Definition at line 38 of file options.h.

Constructor & Destructor Documentation

◆ GlobalOptions()

stabilizer::parser::GlobalOptions::GlobalOptions ( )

default

◆ ~GlobalOptions()

stabilizer::parser::GlobalOptions::~GlobalOptions ( )

default

Member Function Documentation

◆ getEvaluatePrecision()

mpfr_prec_t stabilizer::parser::GlobalOptions::getEvaluatePrecision ( ) const

inline

Definition at line 201 of file options.h.

References evaluate_precision.

◆ getEvaluateUseFloating()

bool stabilizer::parser::GlobalOptions::getEvaluateUseFloating ( ) const

inline

Definition at line 207 of file options.h.

References evaluate_use_floating.

◆ getExpandFunctions()

bool stabilizer::parser::GlobalOptions::getExpandFunctions ( ) const

inline

Definition at line 215 of file options.h.

References expand_functions.

◆ getExpandRecursiveFunctions()

bool stabilizer::parser::GlobalOptions::getExpandRecursiveFunctions ( ) const

inline

Definition at line 220 of file options.h.

References expand_recursive_functions.

◆ getInfo()

void stabilizer::parser::GlobalOptions::getInfo	(	const std::string &	key,
		const std::string &	value
	)

inline

Definition at line 178 of file options.h.

References get_info.

◆ getKeepDivision()

bool stabilizer::parser::GlobalOptions::getKeepDivision ( ) const

inline

Definition at line 211 of file options.h.

References keep_division_if_not_divisible.

◆ getKeepLet()

bool stabilizer::parser::GlobalOptions::getKeepLet ( ) const

inline

Definition at line 212 of file options.h.

References parsing_preserve_let.

◆ getLogic()

std::string stabilizer::parser::GlobalOptions::getLogic ( ) const

inline

Definition at line 172 of file options.h.

References logic.

◆ getOption()

void stabilizer::parser::GlobalOptions::getOption	(	const std::string &	key,
		const std::string &	value
	)

inline

Definition at line 182 of file options.h.

References get_options.

◆ getRewrite()

bool stabilizer::parser::GlobalOptions::getRewrite ( ) const

inline

Definition at line 90 of file options.h.

References rewrite.

◆ getValue()

void stabilizer::parser::GlobalOptions::getValue	(	const std::string &	key,
		const std::string &	value
	)

inline

Definition at line 174 of file options.h.

References values.

◆ isIntRealTheory()

bool stabilizer::parser::GlobalOptions::isIntRealTheory ( ) const

inline

Definition at line 192 of file options.h.

References logic.

◆ isIntTheory()

bool stabilizer::parser::GlobalOptions::isIntTheory ( ) const

inline

Definition at line 187 of file options.h.

References logic.

◆ isRealTheory()

bool stabilizer::parser::GlobalOptions::isRealTheory ( ) const

inline

Definition at line 191 of file options.h.

References logic.

◆ setEvaluatePrecision()

void stabilizer::parser::GlobalOptions::setEvaluatePrecision ( mpfr_prec_t precision )

inline

Definition at line 197 of file options.h.

References evaluate_precision.

Referenced by setOption().

◆ setEvaluateUseFloating()

void stabilizer::parser::GlobalOptions::setEvaluateUseFloating ( bool use_floating )

inline

Definition at line 203 of file options.h.

References evaluate_use_floating.

Referenced by setOption().

◆ setExpandFunctions()

void stabilizer::parser::GlobalOptions::setExpandFunctions ( bool expand )

inline

Definition at line 214 of file options.h.

References expand_functions.

Referenced by setOption().

◆ setExpandRecursiveFunctions()

void stabilizer::parser::GlobalOptions::setExpandRecursiveFunctions ( bool expand )

inline

Definition at line 217 of file options.h.

References expand_recursive_functions.

Referenced by setOption().

◆ setInfo()

void stabilizer::parser::GlobalOptions::setInfo	(	const std::string &	key,
		const std::string &	value
	)

inline

Definition at line 168 of file options.h.

References info.

◆ setKeepDivision()

void stabilizer::parser::GlobalOptions::setKeepDivision ( bool keep )

inline

Definition at line 209 of file options.h.

References keep_division_if_not_divisible.

Referenced by setOption().

◆ setKeepLet()

void stabilizer::parser::GlobalOptions::setKeepLet ( bool keep )

inline

Definition at line 210 of file options.h.

References parsing_preserve_let.

Referenced by setOption().

◆ setLogic()

bool stabilizer::parser::GlobalOptions::setLogic ( const std::string & logic_name )

inline

Definition at line 92 of file options.h.

References logic.

◆ setOption()

void stabilizer::parser::GlobalOptions::setOption	(	const std::string &	key,
		const std::string &	value
	)

inline

Definition at line 146 of file options.h.

References options, setEvaluatePrecision(), setEvaluateUseFloating(), setExpandFunctions(), setExpandRecursiveFunctions(), setKeepDivision(), and setKeepLet().

◆ setRewrite()

void stabilizer::parser::GlobalOptions::setRewrite ( bool rewrite )

inline

Definition at line 89 of file options.h.

References rewrite.

◆ toString()

std::string stabilizer::parser::GlobalOptions::toString ( ) const

inline

Generate a detailed configuration report.

This method generates a formatted string containing detailed information about all configuration options including: option name, default value, current value, and description.

Returns: std::string A formatted string with complete configuration information

Definition at line 234 of file options.h.

References check_sat, evaluate_precision, evaluate_use_floating, expand_functions, expand_recursive_functions, get_assertions, get_assignment, get_info, get_model, get_objectives, get_options, get_proof, get_unsat_assumptions, get_unsat_core, info, keep_division_if_not_divisible, logic, options, parsing_preserve_let, and values.

Member Data Documentation

◆ check_sat

bool stabilizer::parser::GlobalOptions::check_sat = false

Definition at line 42 of file options.h.

Referenced by toString().

◆ evaluate_precision

mpfr_prec_t stabilizer::parser::GlobalOptions::evaluate_precision = 128

Definition at line 65 of file options.h.

Referenced by getEvaluatePrecision(), setEvaluatePrecision(), and toString().

◆ evaluate_use_floating

bool stabilizer::parser::GlobalOptions::evaluate_use_floating = true

Definition at line 64 of file options.h.

Referenced by getEvaluateUseFloating(), setEvaluateUseFloating(), and toString().

◆ expand_functions

bool stabilizer::parser::GlobalOptions::expand_functions = true

Definition at line 76 of file options.h.

Referenced by getExpandFunctions(), setExpandFunctions(), and toString().

◆ expand_recursive_functions

bool stabilizer::parser::GlobalOptions::expand_recursive_functions = false

Definition at line 81 of file options.h.

Referenced by getExpandRecursiveFunctions(), setExpandRecursiveFunctions(), and toString().

◆ get_assertions

bool stabilizer::parser::GlobalOptions::get_assertions = false

Definition at line 43 of file options.h.

Referenced by toString().

◆ get_assignment

bool stabilizer::parser::GlobalOptions::get_assignment = false

Definition at line 44 of file options.h.

Referenced by toString().

◆ get_info

std::unordered_map<std::string, std::string> stabilizer::parser::GlobalOptions::get_info

Definition at line 48 of file options.h.

Referenced by getInfo(), and toString().

◆ get_model

bool stabilizer::parser::GlobalOptions::get_model = false

Definition at line 49 of file options.h.

Referenced by toString().

◆ get_objectives

bool stabilizer::parser::GlobalOptions::get_objectives = false

Definition at line 61 of file options.h.

Referenced by toString().

◆ get_options

std::unordered_map<std::string, std::string> stabilizer::parser::GlobalOptions::get_options

Definition at line 53 of file options.h.

Referenced by getOption(), and toString().

◆ get_proof

bool stabilizer::parser::GlobalOptions::get_proof = false

Definition at line 54 of file options.h.

Referenced by toString().

◆ get_unsat_assumptions

bool stabilizer::parser::GlobalOptions::get_unsat_assumptions = false

Definition at line 55 of file options.h.

Referenced by toString().

◆ get_unsat_core

bool stabilizer::parser::GlobalOptions::get_unsat_core = false

Definition at line 56 of file options.h.

Referenced by toString().

◆ info

std::unordered_map<std::string, std::string> stabilizer::parser::GlobalOptions::info

Definition at line 46 of file options.h.

Referenced by setInfo(), and toString().

◆ keep_division_if_not_divisible

bool stabilizer::parser::GlobalOptions::keep_division_if_not_divisible = true

Definition at line 68 of file options.h.

Referenced by getKeepDivision(), setKeepDivision(), and toString().

◆ logic

std::string stabilizer::parser::GlobalOptions::logic = "ALL"

Definition at line 41 of file options.h.

Referenced by getLogic(), isIntRealTheory(), isIntTheory(), isRealTheory(), setLogic(), and toString().

◆ options

std::unordered_map<std::string, std::string> stabilizer::parser::GlobalOptions::options

Definition at line 51 of file options.h.

Referenced by setOption(), and toString().

◆ parsing_preserve_let

bool stabilizer::parser::GlobalOptions::parsing_preserve_let = true

Definition at line 71 of file options.h.

Referenced by getKeepLet(), setKeepLet(), and toString().

◆ rewrite

bool stabilizer::parser::GlobalOptions::rewrite = true

Definition at line 83 of file options.h.

Referenced by getRewrite(), and setRewrite().

◆ values

std::unordered_map<std::string, std::string> stabilizer::parser::GlobalOptions::values

Definition at line 58 of file options.h.

Referenced by getValue(), and toString().

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

src/parser/options.h

Public Member Functions

Public Attributes

Detailed Description

Constructor & Destructor Documentation

◆ GlobalOptions()

◆ ~GlobalOptions()

Member Function Documentation

◆ getEvaluatePrecision()

◆ getEvaluateUseFloating()

◆ getExpandFunctions()

◆ getExpandRecursiveFunctions()

◆ getInfo()

◆ getKeepDivision()

◆ getKeepLet()

◆ getLogic()

◆ getOption()

◆ getRewrite()

◆ getValue()

◆ isIntRealTheory()

◆ isIntTheory()

◆ isRealTheory()

◆ setEvaluatePrecision()

◆ setEvaluateUseFloating()

◆ setExpandFunctions()

◆ setExpandRecursiveFunctions()

◆ setInfo()

◆ setKeepDivision()

◆ setKeepLet()

◆ setLogic()

◆ setOption()

◆ setRewrite()

◆ toString()

Member Data Documentation

◆ check_sat

◆ evaluate_precision

◆ evaluate_use_floating

◆ expand_functions

◆ expand_recursive_functions

◆ get_assertions

◆ get_assignment

◆ get_info

◆ get_model

◆ get_objectives

◆ get_options

◆ get_proof

◆ get_unsat_assumptions

◆ get_unsat_core

◆ info

◆ keep_division_if_not_divisible

◆ logic

◆ options

◆ parsing_preserve_let

◆ rewrite

◆ values