smt2_incremental Directory Reference

Directory dependency graph for smt2_incremental:

Directories
	ast
	encoding
	theories

Files
	construct_value_expr_from_smt.cpp
	construct_value_expr_from_smt.h
	convert_expr_to_smt.cpp
	convert_expr_to_smt.h
	object_tracking.cpp
	object_tracking.h
	Data structures and algorithms used by smt2_incremental_decision_proceduret to track data about the objects which pointers point to.
	response_or_error.h
	smt2_incremental_decision_procedure.cpp
	smt2_incremental_decision_procedure.h
	Decision procedure with incremental SMT2 solving.
	smt_is_dynamic_object.cpp
	smt_is_dynamic_object.h
	smt_object_size.cpp
	smt_object_size.h
	smt_response_validation.cpp
	Validation of smt response parse trees to produce either a strongly typed smt_responset representation, or a set of error messages.
	smt_response_validation.h
	smt_solver_process.cpp
	smt_solver_process.h
	smt_to_smt2_string.cpp
	smt_to_smt2_string.h
	Streaming SMT data structures to a string based output stream.
	type_size_mapping.cpp
	type_size_mapping.h
	Utilities for making a map of types to associated sizes.