interval_analysis_ibex_contractor Class Reference

#include <goto_contractor.h>

Public Member Functions
	interval_analysis_ibex_contractor ()
	~interval_analysis_ibex_contractor ()
bool	parse_guard (expr2tc &guard)
void	apply_contractor ()
expr2tc	result_of_outer ()
void	dump (bool is_timed)
void	modularize_intervals ()
void	interval_to_domain (const std::optional< BigInt > &lower, const std::optional< BigInt > &upper, const std::string &name)
void	interval_to_domain (const std::optional< double > &lower, const std::optional< double > &upper, const std::string &name)

Public Attributes
double	parse_time {}
double	apply_time {}
double	mod_time {}
double	cpy_time {}

Constructor & Destructor Documentation

interval_analysis_ibex_contractor()

interval_analysis_ibex_contractor::interval_analysis_ibex_contractor ( )

inline

~interval_analysis_ibex_contractor()

interval_analysis_ibex_contractor::~interval_analysis_ibex_contractor ( )

inline

Member Function Documentation

apply_contractor()

void interval_analysis_ibex_contractor::apply_contractor

(

)

dump()

void interval_analysis_ibex_contractor::dump

(

bool

is_timed

)

interval_to_domain() [1/2]

void interval_analysis_ibex_contractor::interval_to_domain ( const std::optional< BigInt > & lower, const std::optional< BigInt > & upper, const std::string & name )

inline

interval_to_domain() [2/2]

void interval_analysis_ibex_contractor::interval_to_domain ( const std::optional< double > & lower, const std::optional< double > & upper, const std::string & name )

inline

modularize_intervals()

void interval_analysis_ibex_contractor::modularize_intervals

(

)

parse_guard()

bool interval_analysis_ibex_contractor::parse_guard ( expr2tc & guard )

inline

result_of_outer()

expr2tc interval_analysis_ibex_contractor::result_of_outer

(

)

Member Data Documentation

apply_time

double interval_analysis_ibex_contractor::apply_time {}

cpy_time

double interval_analysis_ibex_contractor::cpy_time {}

mod_time

double interval_analysis_ibex_contractor::mod_time {}

parse_time

double interval_analysis_ibex_contractor::parse_time {}

---

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

• src/goto-programs/goto_contractor.h
• src/goto-programs/goto_contractor.cpp