smtrat::validation::ValidationCollector Class Reference

#include <ValidationCollector.h>

Inheritance diagram for smtrat::validation::ValidationCollector:

Collaboration diagram for smtrat::validation::ValidationCollector:

Public Member Functions
ValidationPoint &	get (const std::string &channel, const std::string &file, int line)
const auto &	points () const

Private Attributes
std::vector< std::unique_ptr< ValidationPoint > >	m_points

Detailed Description

Definition at line 14 of file ValidationCollector.h.

Member Function Documentation

get()

ValidationPoint& smtrat::validation::ValidationCollector::get ( const std::string &  channel, const std::string &  file, int  line  )

inline

Definition at line 18 of file ValidationCollector.h.

points()

const auto& smtrat::validation::ValidationCollector::points ( ) const

inline

Definition at line 24 of file ValidationCollector.h.

Field Documentation

m_points

std::vector<std::unique_ptr<ValidationPoint> > smtrat::validation::ValidationCollector::m_points

private

Definition at line 16 of file ValidationCollector.h.

---

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

• smtrat-common/validation/ValidationCollector.h