SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::validation::ValidationPoint Class Reference

#include <ValidationPoint.h>

Collaboration diagram for smtrat::validation::ValidationPoint:
Collaboration graph
[legend]

Public Member Functions

void set_identifier (const std::string &channel, const std::string &file, int line)
 
const auto & channel () const
 
auto identifier () const
 
const auto & formulas () const
 
std::size_t add (const FormulaT &f, bool consistent, const std::string &name)
 
std::size_t add (const FormulasT &fs, bool consistent, const std::string &name)
 
std::size_t add (const FormulaSetT &fss, bool consistent, const std::string &name)
 
std::size_t add (const ConstraintT &c, bool consistent, const std::string &name)
 
std::size_t add (const ConstraintsT &cs, bool consistent, const std::string &name)
 

Private Attributes

std::string m_channel
 
std::string m_file
 
int m_line
 
std::vector< std::tuple< std::string, bool, std::string > > m_formulas
 

Detailed Description

Definition at line 21 of file ValidationPoint.h.

Member Function Documentation

◆ add() [1/5]

std::size_t smtrat::validation::ValidationPoint::add ( const ConstraintsT &  cs,
bool  consistent,
const std::string &  name 
)
inline

Definition at line 68 of file ValidationPoint.h.

Here is the call graph for this function:

◆ add() [2/5]

std::size_t smtrat::validation::ValidationPoint::add ( const ConstraintT &  c,
bool  consistent,
const std::string &  name 
)
inline

Definition at line 65 of file ValidationPoint.h.

Here is the call graph for this function:

◆ add() [3/5]

std::size_t smtrat::validation::ValidationPoint::add ( const FormulaSetT &  fss,
bool  consistent,
const std::string &  name 
)
inline

Definition at line 61 of file ValidationPoint.h.

Here is the call graph for this function:

◆ add() [4/5]

std::size_t smtrat::validation::ValidationPoint::add ( const FormulasT &  fs,
bool  consistent,
const std::string &  name 
)
inline

Definition at line 58 of file ValidationPoint.h.

Here is the call graph for this function:

◆ add() [5/5]

std::size_t smtrat::validation::ValidationPoint::add ( const FormulaT &  f,
bool  consistent,
const std::string &  name 
)
inline

Definition at line 46 of file ValidationPoint.h.

Here is the caller graph for this function:

◆ channel()

const auto& smtrat::validation::ValidationPoint::channel ( ) const
inline

Definition at line 37 of file ValidationPoint.h.

Here is the caller graph for this function:

◆ formulas()

const auto& smtrat::validation::ValidationPoint::formulas ( ) const
inline

Definition at line 43 of file ValidationPoint.h.

◆ identifier()

auto smtrat::validation::ValidationPoint::identifier ( ) const
inline

Definition at line 40 of file ValidationPoint.h.

◆ set_identifier()

void smtrat::validation::ValidationPoint::set_identifier ( const std::string &  channel,
const std::string &  file,
int  line 
)
inline

Definition at line 32 of file ValidationPoint.h.

Here is the call graph for this function:

Field Documentation

◆ m_channel

std::string smtrat::validation::ValidationPoint::m_channel
private

Definition at line 23 of file ValidationPoint.h.

◆ m_file

std::string smtrat::validation::ValidationPoint::m_file
private

Definition at line 24 of file ValidationPoint.h.

◆ m_formulas

std::vector<std::tuple<std::string, bool, std::string> > smtrat::validation::ValidationPoint::m_formulas
private

Definition at line 29 of file ValidationPoint.h.

◆ m_line

int smtrat::validation::ValidationPoint::m_line
private

Definition at line 25 of file ValidationPoint.h.

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