statistics.hpp File Reference

#include <chrono>
#include <algorithm>
#include "battery/utility.hpp"
#include "battery/allocator.hpp"
#include "lala/logic/ast.hpp"

Go to the source code of this file.

Classes
struct	TimingStatistics< Allocator >
struct	Statistics< Allocator >

Enumerations
enum class	Timer {   OVERALL , PREPROCESSING , SOLVE , SEARCH ,   FIXPOINT , TRANSFER_CPU2GPU , TRANSFER_GPU2CPU , SELECT_FP_FUNCTIONS ,   WAIT_CPU , DIVE , NUM_TIMERS }

Enumeration Type Documentation

Timer

enum class Timer

strong

Enumerator
OVERALL
PREPROCESSING
SOLVE
SEARCH
FIXPOINT
TRANSFER_CPU2GPU
TRANSFER_GPU2CPU
SELECT_FP_FUNCTIONS
WAIT_CPU
DIVE
NUM_TIMERS