smt_response_validation.h File Reference

#include <solvers/smt2_incremental/smt_responses.h>
#include <util/invariant.h>
#include <util/nodiscard.h>
#include <util/optional.h>
#include <string>
#include <vector>

Include dependency graph for smt_response_validation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	response_or_errort< smtt >
	Holds either a valid parsed response or response sub-tree of type. More...

Functions
NODISCARD response_or_errort< smt_responset >	validate_smt_response (const irept &parse_tree)

Function Documentation

validate_smt_response()

NODISCARD response_or_errort< smt_responset > validate_smt_response

(

const irept &

parse_tree

)

Definition at line 307 of file smt_response_validation.cpp.