benchmax::simple_parser Class Reference

#include <SMTRAT.h>

Collaboration diagram for benchmax::simple_parser:

Public Member Functions
	simple_parser (const std::string &content)
bool	expect (const char c)
bool	expect_end ()
void	skip_whitespace ()
void	skip_excluding (const char c)
std::optional< std::string >	read_until (const char c)
std::optional< std::string >	read_until_whitespace ()
std::optional< std::string >	read_until_whitespace_or (const std::initializer_list< char > cs)

Private Attributes
std::string::const_iterator	m_iter
const std::string::const_iterator	m_end

Detailed Description

Definition at line 10 of file SMTRAT.h.

Constructor & Destructor Documentation

simple_parser()

benchmax::simple_parser::simple_parser ( const std::string &  content )

inline

Definition at line 15 of file SMTRAT.h.

Member Function Documentation

expect()

bool benchmax::simple_parser::expect ( const char  c )

inline

Definition at line 16 of file SMTRAT.h.

Here is the caller graph for this function:

expect_end()

bool benchmax::simple_parser::expect_end ( )

inline

Definition at line 21 of file SMTRAT.h.

read_until()

std::optional<std::string> benchmax::simple_parser::read_until ( const char  c )

inline

Definition at line 31 of file SMTRAT.h.

read_until_whitespace()

std::optional<std::string> benchmax::simple_parser::read_until_whitespace ( )

inline

Definition at line 40 of file SMTRAT.h.

Here is the caller graph for this function:

read_until_whitespace_or()

std::optional<std::string> benchmax::simple_parser::read_until_whitespace_or ( const std::initializer_list< char >  cs )

inline

Definition at line 49 of file SMTRAT.h.

Here is the call graph for this function:

Here is the caller graph for this function:

skip_excluding()

void benchmax::simple_parser::skip_excluding ( const char  c )

inline

Definition at line 27 of file SMTRAT.h.

Here is the caller graph for this function:

skip_whitespace()

void benchmax::simple_parser::skip_whitespace ( )

inline

Definition at line 24 of file SMTRAT.h.

Here is the caller graph for this function:

Field Documentation

m_end

const std::string::const_iterator benchmax::simple_parser::m_end

private

Definition at line 12 of file SMTRAT.h.

m_iter

std::string::const_iterator benchmax::simple_parser::m_iter

private

Definition at line 11 of file SMTRAT.h.

---

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

• benchmax/tools/SMTRAT.h