response_or_errort< smtt > Class Template Reference

Holds either a valid parsed response or response sub-tree of type. More...

#include <smt_response_validation.h>

Collaboration diagram for response_or_errort< smtt >:

Public Member Functions
	response_or_errort (smtt smt)
	response_or_errort (std::string message)
	response_or_errort (std::vector< std::string > messages)
const smtt *	get_if_valid () const
	Gets the smt response if the response is valid, or returns nullptr otherwise.
const std::vector< std::string > *	get_if_error () const
	Gets the error messages if the response is invalid, or returns nullptr otherwise.

Private Attributes
optionalt< smtt >	smt
std::vector< std::string >	messages

Detailed Description

template<class smtt>
class response_or_errort< smtt >

Holds either a valid parsed response or response sub-tree of type.

Template Parameters

smtt	or a collection of message strings explaining why the given input was not valid.

Definition at line 18 of file smt_response_validation.h.

Constructor & Destructor Documentation

response_or_errort() [1/3]

template<class smtt >

response_or_errort< smtt >::response_or_errort ( smtt  smt )

explicit

Definition at line 26 of file smt_response_validation.cpp.

response_or_errort() [2/3]

template<class smtt >

response_or_errort< smtt >::response_or_errort ( std::string  message )

explicit

Definition at line 31 of file smt_response_validation.cpp.

response_or_errort() [3/3]

template<class smtt >

response_or_errort< smtt >::response_or_errort ( std::vector< std::string >  messages )

explicit

Definition at line 37 of file smt_response_validation.cpp.

Member Function Documentation

get_if_error()

template<class smtt >

const std::vector< std::string > * response_or_errort< smtt >::get_if_error

Gets the error messages if the response is invalid, or returns nullptr otherwise.

Definition at line 53 of file smt_response_validation.cpp.

get_if_valid()

template<class smtt >

const smtt * response_or_errort< smtt >::get_if_valid

Gets the smt response if the response is valid, or returns nullptr otherwise.

Definition at line 43 of file smt_response_validation.cpp.

Member Data Documentation

messages

template<class smtt >

std::vector<std::string> response_or_errort< smtt >::messages

private

Definition at line 38 of file smt_response_validation.h.

smt

template<class smtt >

optionalt<smtt> response_or_errort< smtt >::smt

private

Definition at line 37 of file smt_response_validation.h.

---

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

• solvers/smt2_incremental/smt_response_validation.h
• solvers/smt2_incremental/smt_response_validation.cpp