carl  24.04
Computer ARithmetic Library
carl::checkpoints::CheckpointVector Class Reference

#include <CheckpointVerifier.h>

Collaboration diagram for carl::checkpoints::CheckpointVector:

Public Member Functions

 CheckpointVector ()
 
const std::string & description () const
 
bool forced () const
 
template<typename T >
const T & data () const
 
template<typename T >
const T * try_data () const
 
bool valid () const
 
void next ()
 
template<typename... Args>
void add (const std::string &description, bool forced, Args &&... args)
 
void clear ()
 

Data Fields

bool mayExceed = true
 
bool printDebug = true
 

Private Types

template<typename... Args>
using Tuple = std::tuple< std::decay_t< Args >... >
 
using Checkpoint = std::tuple< std::string, bool, std::any >
 

Private Member Functions

const Checkpointcur () const
 

Private Attributes

std::vector< CheckpointmData
 
std::size_t mCurrent = 0
 

Detailed Description

Definition at line 19 of file CheckpointVerifier.h.

Member Typedef Documentation

◆ Checkpoint

using carl::checkpoints::CheckpointVector::Checkpoint = std::tuple<std::string,bool,std::any>
private

Definition at line 22 of file CheckpointVerifier.h.

◆ Tuple

template<typename... Args>
using carl::checkpoints::CheckpointVector::Tuple = std::tuple<std::decay_t<Args>...>
private

Definition at line 21 of file CheckpointVerifier.h.

Constructor & Destructor Documentation

◆ CheckpointVector()

carl::checkpoints::CheckpointVector::CheckpointVector ( )
inline

Definition at line 32 of file CheckpointVerifier.h.

Here is the call graph for this function:

Member Function Documentation

◆ add()

template<typename... Args>
void carl::checkpoints::CheckpointVector::add ( const std::string &  description,
bool  forced,
Args &&...  args 
)
inline

Definition at line 57 of file CheckpointVerifier.h.

Here is the call graph for this function:

◆ clear()

void carl::checkpoints::CheckpointVector::clear ( )
inline

Definition at line 60 of file CheckpointVerifier.h.

◆ cur()

const Checkpoint& carl::checkpoints::CheckpointVector::cur ( ) const
inlineprivate

Definition at line 27 of file CheckpointVerifier.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ data()

template<typename T >
const T& carl::checkpoints::CheckpointVector::data ( ) const
inline

Definition at line 42 of file CheckpointVerifier.h.

Here is the call graph for this function:

◆ description()

const std::string& carl::checkpoints::CheckpointVector::description ( ) const
inline

Definition at line 35 of file CheckpointVerifier.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ forced()

bool carl::checkpoints::CheckpointVector::forced ( ) const
inline

Definition at line 38 of file CheckpointVerifier.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ next()

void carl::checkpoints::CheckpointVector::next ( )
inline

Definition at line 52 of file CheckpointVerifier.h.

◆ try_data()

template<typename T >
const T* carl::checkpoints::CheckpointVector::try_data ( ) const
inline

Definition at line 46 of file CheckpointVerifier.h.

Here is the call graph for this function:

◆ valid()

bool carl::checkpoints::CheckpointVector::valid ( ) const
inline

Definition at line 49 of file CheckpointVerifier.h.

Here is the caller graph for this function:

Field Documentation

◆ mayExceed

bool carl::checkpoints::CheckpointVector::mayExceed = true

Definition at line 65 of file CheckpointVerifier.h.

◆ mCurrent

std::size_t carl::checkpoints::CheckpointVector::mCurrent = 0
private

Definition at line 25 of file CheckpointVerifier.h.

◆ mData

std::vector<Checkpoint> carl::checkpoints::CheckpointVector::mData
private

Definition at line 24 of file CheckpointVerifier.h.

◆ printDebug

bool carl::checkpoints::CheckpointVector::printDebug = true

Definition at line 66 of file CheckpointVerifier.h.


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