smt2_incremental → encoding Relation

File in solvers/smt2_incremental	Includes file in solvers/smt2_incremental/encoding
smt2_incremental_decision_procedure.cpp	enum_encoding.h
smt2_incremental_decision_procedure.cpp	nondet_padding.h
smt2_incremental_decision_procedure.h	struct_encoding.h