cprover
|
#include <solvers/smt2_incremental/smt_responses.h>
#include <util/invariant.h>
#include <util/nodiscard.h>
#include <util/optional.h>
#include <string>
#include <vector>
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) |
NODISCARD response_or_errort< smt_responset > validate_smt_response | ( | const irept & | parse_tree | ) |
Definition at line 307 of file smt_response_validation.cpp.