3#ifndef CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_RESPONSE_VALIDATION_H
4#define CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_RESPONSE_VALIDATION_H
There are a large number of kinds of tree structured or tree-like data in CPROVER.
Holds either a valid parsed response or response sub-tree of type.
const std::vector< std::string > * get_if_error() const
Gets the error messages if the response is invalid, or returns nullptr otherwise.
response_or_errort(smtt smt)
std::vector< std::string > messages
const smtt * get_if_valid() const
Gets the smt response if the response is valid, or returns nullptr otherwise.
nonstd::optional< T > optionalt
NODISCARD response_or_errort< smt_responset > validate_smt_response(const irept &parse_tree)