Statistics Struct Reference

#include <statistics.hpp>

Public Member Functions
CUDA	Statistics (size_t variables, size_t constraints, bool optimization)
CUDA	Statistics ()
	Statistics (const Statistics &)=default
	Statistics (Statistics &&)=default
CUDA void	meet (const Statistics &other)
CUDA void	print_mzn_statistics () const
CUDA void	print_mzn_end_stats () const
CUDA void	print_mzn_objective (const auto &obj, bool is_minimization) const
CUDA void	print_mzn_separator () const
CUDA void	print_mzn_final_separator () const

Public Attributes
size_t	variables
size_t	constraints
bool	optimization
int64_t	duration
int64_t	interpretation_duration
size_t	nodes
size_t	fails
size_t	solutions
size_t	depth_max
size_t	exhaustive
size_t	eps_num_subproblems
size_t	eps_solved_subproblems
size_t	eps_skipped_subproblems
size_t	num_blocks_done
size_t	fixpoint_iterations
size_t	eliminated_variables
size_t	eliminated_formulas
double	search_time
double	propagation_time

Constructor & Destructor Documentation

Statistics() [1/4]

CUDA Statistics::Statistics ( size_t variables, size_t constraints, bool optimization )

inline

Statistics() [2/4]

CUDA Statistics::Statistics ( )

inline

Statistics() [3/4]

Statistics::Statistics ( const Statistics & )

default

Statistics() [4/4]

Statistics::Statistics ( Statistics && )

default

Member Function Documentation

meet()

CUDA void Statistics::meet ( const Statistics & other )

inline

print_mzn_statistics()

CUDA void Statistics::print_mzn_statistics ( ) const

inline

print_mzn_end_stats()

CUDA void Statistics::print_mzn_end_stats ( ) const

inline

print_mzn_objective()

CUDA void Statistics::print_mzn_objective ( const auto & obj, bool is_minimization ) const

inline

print_mzn_separator()

CUDA void Statistics::print_mzn_separator ( ) const

inline

print_mzn_final_separator()

CUDA void Statistics::print_mzn_final_separator ( ) const

inline

Member Data Documentation

variables

size_t Statistics::variables

constraints

size_t Statistics::constraints

optimization

bool Statistics::optimization

duration

int64_t Statistics::duration

interpretation_duration

int64_t Statistics::interpretation_duration

nodes

size_t Statistics::nodes

fails

size_t Statistics::fails

solutions

size_t Statistics::solutions

depth_max

size_t Statistics::depth_max

exhaustive

size_t Statistics::exhaustive

eps_num_subproblems

size_t Statistics::eps_num_subproblems

eps_solved_subproblems

size_t Statistics::eps_solved_subproblems

eps_skipped_subproblems

size_t Statistics::eps_skipped_subproblems

num_blocks_done

size_t Statistics::num_blocks_done

fixpoint_iterations

size_t Statistics::fixpoint_iterations

eliminated_variables

size_t Statistics::eliminated_variables

eliminated_formulas

size_t Statistics::eliminated_formulas

search_time

double Statistics::search_time

propagation_time

double Statistics::propagation_time

---

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

• include/statistics.hpp