Turbo Constraint Solver
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Friends | List of all members
Statistics< Allocator > Struct Template Reference

#include <statistics.hpp>

Public Types

using allocator_type = Allocator
 

Public Member Functions

CUDA Statistics (size_t variables, size_t constraints, bool optimization, bool print_statistics)
 
CUDA Statistics ()
 
 Statistics (const Statistics &)=default
 
 Statistics (Statistics &&)=default
 
template<class Alloc >
CUDA Statistics (const Statistics< Alloc > &other)
 
template<class Alloc >
CUDA void meet (const Statistics< Alloc > &other)
 
template<class Alloc >
CUDA void meet (const TimingStatistics< Alloc > &other)
 
std::chrono::steady_clock::time_point start_timer_host () const
 
std::chrono::steady_clock::time_point stop_timer (Timer timer, std::chrono::steady_clock::time_point start)
 
void update_timer (Timer timer, std::chrono::steady_clock::time_point start)
 
CUDA int64_t time_ms_of (Timer timer) const
 
CUDA void print_stat (const char *name, const char *value) const
 
CUDA void print_stat (const char *name, size_t value) const
 
CUDA void print_human_stat (int verbose, const char *name, size_t value) const
 
CUDA void print_stat (const char *name, int value) const
 
CUDA void print_stat_fp_iter (const char *name, size_t num_iterations, size_t value) const
 
CUDA void print_stat (const char *name, double value) const
 
CUDA void print_memory_statistics (int verbose, const char *key, size_t bytes) const
 
CUDA void print_block_timing_stat (const char *name, Timer timer) const
 
CUDA void print_timing_stat (const char *name, Timer timer) const
 
CUDA void print_mzn_statistics (int verbose=0) 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

bool print_statistics
 
size_t variables
 
size_t constraints
 
bool optimization
 
int num_blocks
 
size_t nodes
 
size_t fails
 
size_t solutions
 
int depth_max
 
bool 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 num_deductions
 
TimingStatistics< Allocator > timers
 

Friends

template<class Alloc >
struct Statistics
 

Member Typedef Documentation

◆ allocator_type

template<class Allocator = battery::standard_allocator>
using Statistics< Allocator >::allocator_type = Allocator

Constructor & Destructor Documentation

◆ Statistics() [1/5]

template<class Allocator = battery::standard_allocator>
CUDA Statistics< Allocator >::Statistics ( size_t  variables,
size_t  constraints,
bool  optimization,
bool  print_statistics 
)
inline

◆ Statistics() [2/5]

template<class Allocator = battery::standard_allocator>
CUDA Statistics< Allocator >::Statistics ( )
inline

◆ Statistics() [3/5]

template<class Allocator = battery::standard_allocator>
Statistics< Allocator >::Statistics ( const Statistics< Allocator > &  )
default

◆ Statistics() [4/5]

template<class Allocator = battery::standard_allocator>
Statistics< Allocator >::Statistics ( Statistics< Allocator > &&  )
default

◆ Statistics() [5/5]

template<class Allocator = battery::standard_allocator>
template<class Alloc >
CUDA Statistics< Allocator >::Statistics ( const Statistics< Alloc > &  other)
inline

Member Function Documentation

◆ meet() [1/2]

template<class Allocator = battery::standard_allocator>
template<class Alloc >
CUDA void Statistics< Allocator >::meet ( const Statistics< Alloc > &  other)
inline

◆ meet() [2/2]

template<class Allocator = battery::standard_allocator>
template<class Alloc >
CUDA void Statistics< Allocator >::meet ( const TimingStatistics< Alloc > &  other)
inline

◆ start_timer_host()

template<class Allocator = battery::standard_allocator>
std::chrono::steady_clock::time_point Statistics< Allocator >::start_timer_host ( ) const
inline

◆ stop_timer()

template<class Allocator = battery::standard_allocator>
std::chrono::steady_clock::time_point Statistics< Allocator >::stop_timer ( Timer  timer,
std::chrono::steady_clock::time_point  start 
)
inline

◆ update_timer()

template<class Allocator = battery::standard_allocator>
void Statistics< Allocator >::update_timer ( Timer  timer,
std::chrono::steady_clock::time_point  start 
)
inline

Replace the value of the timer with now - start.

◆ time_ms_of()

template<class Allocator = battery::standard_allocator>
CUDA int64_t Statistics< Allocator >::time_ms_of ( Timer  timer) const
inline

◆ print_stat() [1/4]

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_stat ( const char *  name,
const char *  value 
) const
inline

◆ print_stat() [2/4]

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_stat ( const char *  name,
size_t  value 
) const
inline

◆ print_human_stat()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_human_stat ( int  verbose,
const char *  name,
size_t  value 
) const
inline

◆ print_stat() [3/4]

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_stat ( const char *  name,
int  value 
) const
inline

◆ print_stat_fp_iter()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_stat_fp_iter ( const char *  name,
size_t  num_iterations,
size_t  value 
) const
inline

◆ print_stat() [4/4]

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_stat ( const char *  name,
double  value 
) const
inline

◆ print_memory_statistics()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_memory_statistics ( int  verbose,
const char *  key,
size_t  bytes 
) const
inline

◆ print_block_timing_stat()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_block_timing_stat ( const char *  name,
Timer  timer 
) const
inline

◆ print_timing_stat()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_timing_stat ( const char *  name,
Timer  timer 
) const
inline

◆ print_mzn_statistics()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_mzn_statistics ( int  verbose = 0) const
inline

◆ print_mzn_end_stats()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_mzn_end_stats ( ) const
inline

◆ print_mzn_objective()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_mzn_objective ( const auto &  obj,
bool  is_minimization 
) const
inline

◆ print_mzn_separator()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_mzn_separator ( ) const
inline

◆ print_mzn_final_separator()

template<class Allocator = battery::standard_allocator>
CUDA void Statistics< Allocator >::print_mzn_final_separator ( ) const
inline

Friends And Related Symbol Documentation

◆ Statistics

template<class Allocator = battery::standard_allocator>
template<class Alloc >
friend struct Statistics
friend

Member Data Documentation

◆ print_statistics

template<class Allocator = battery::standard_allocator>
bool Statistics< Allocator >::print_statistics

◆ variables

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::variables

◆ constraints

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::constraints

◆ optimization

template<class Allocator = battery::standard_allocator>
bool Statistics< Allocator >::optimization

◆ num_blocks

template<class Allocator = battery::standard_allocator>
int Statistics< Allocator >::num_blocks

◆ nodes

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::nodes

◆ fails

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::fails

◆ solutions

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::solutions

◆ depth_max

template<class Allocator = battery::standard_allocator>
int Statistics< Allocator >::depth_max

◆ exhaustive

template<class Allocator = battery::standard_allocator>
bool Statistics< Allocator >::exhaustive

◆ eps_num_subproblems

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::eps_num_subproblems

◆ eps_solved_subproblems

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::eps_solved_subproblems

◆ eps_skipped_subproblems

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::eps_skipped_subproblems

◆ num_blocks_done

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::num_blocks_done

◆ fixpoint_iterations

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::fixpoint_iterations

◆ num_deductions

template<class Allocator = battery::standard_allocator>
size_t Statistics< Allocator >::num_deductions

◆ timers

template<class Allocator = battery::standard_allocator>
TimingStatistics<Allocator> Statistics< Allocator >::timers
The documentation for this struct was generated from the following file: