#include <util/nodiscard.h>
#include <solvers/smt2_incremental/response_or_error.h>
#include <solvers/smt2_incremental/smt_responses.h>

Include dependency graph for smt_response_validation.h:

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

Functions
response_or_errort< smt_responset >	validate_smt_response (const irept &parse_tree, const std::unordered_map< irep_idt, smt_identifier_termt > &identifier_table)

Function Documentation

◆ validate_smt_response()

response_or_errort<smt_responset> validate_smt_response	(	const irept &	parse_tree,
		const std::unordered_map< irep_idt, smt_identifier_termt > &	identifier_table
	)