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

#include <CheckpointVerifier.h>

Inheritance diagram for carl::checkpoints::CheckpointVerifier:
Collaboration diagram for carl::checkpoints::CheckpointVerifier:

Public Member Functions

 CheckpointVerifier ()
 
template<typename... Args>
void push (const std::string &channel, const std::string &description, bool forced, Args &&... args)
 
template<typename... Args>
bool check (const std::string &channel, const std::string &description, Args &&... args)
 
template<typename... Args>
void expect (const std::string &channel, const std::string &description, Args &&... args)
 
void clear (const std::string &channel)
 
bool & mayExceed (const std::string &channel)
 
bool & printDebug (const std::string &channel)
 

Static Public Member Functions

static CheckpointVerifiergetInstance ()
 Returns the single instance of this class by reference. More...
 

Private Types

template<typename... Args>
using Tuple = CheckpointVector::Tuple< Args... >
 
using Channels = std::map< std::string, CheckpointVector >
 

Private Attributes

Channels mChannels
 

Detailed Description

Definition at line 69 of file CheckpointVerifier.h.

Member Typedef Documentation

◆ Channels

using carl::checkpoints::CheckpointVerifier::Channels = std::map<std::string, CheckpointVector>
private

Definition at line 72 of file CheckpointVerifier.h.

◆ Tuple

template<typename... Args>
using carl::checkpoints::CheckpointVerifier::Tuple = CheckpointVector::Tuple<Args...>
private

Definition at line 71 of file CheckpointVerifier.h.

Constructor & Destructor Documentation

◆ CheckpointVerifier()

carl::checkpoints::CheckpointVerifier::CheckpointVerifier ( )
inline

Definition at line 76 of file CheckpointVerifier.h.

Here is the call graph for this function:

Member Function Documentation

◆ check()

template<typename... Args>
bool carl::checkpoints::CheckpointVerifier::check ( const std::string &  channel,
const std::string &  description,
Args &&...  args 
)
inline

Definition at line 87 of file CheckpointVerifier.h.

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

◆ clear()

void carl::checkpoints::CheckpointVerifier::clear ( const std::string &  channel)
inline

Definition at line 130 of file CheckpointVerifier.h.

◆ expect()

template<typename... Args>
void carl::checkpoints::CheckpointVerifier::expect ( const std::string &  channel,
const std::string &  description,
Args &&...  args 
)
inline

Definition at line 115 of file CheckpointVerifier.h.

Here is the call graph for this function:

◆ getInstance()

static CheckpointVerifier & carl::Singleton< CheckpointVerifier >::getInstance ( )
inlinestaticinherited

Returns the single instance of this class by reference.

If there is no instance yet, a new one is created.

Definition at line 45 of file Singleton.h.

◆ mayExceed()

bool& carl::checkpoints::CheckpointVerifier::mayExceed ( const std::string &  channel)
inline

Definition at line 134 of file CheckpointVerifier.h.

◆ printDebug()

bool& carl::checkpoints::CheckpointVerifier::printDebug ( const std::string &  channel)
inline

Definition at line 137 of file CheckpointVerifier.h.

Here is the caller graph for this function:

◆ push()

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

Definition at line 81 of file CheckpointVerifier.h.

Here is the call graph for this function:

Field Documentation

◆ mChannels

Channels carl::checkpoints::CheckpointVerifier::mChannels
private

Definition at line 74 of file CheckpointVerifier.h.


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