smt_responses.cpp File Reference

#include <solvers/smt2_incremental/smt_responses.h>
#include <util/range.h>
#include <solvers/smt2_incremental/smt_responses.def>

Include dependency graph for smt_responses.cpp:

Go to the source code of this file.

Macros
#define	RESPONSE_ID(the_id, the_base)   const irep_idt ID_smt_##the_id##_response{"smt_" #the_id "_response"};
#define	RESPONSE_ID(the_id, the_base)

Macro Definition Documentation

RESPONSE_ID [1/2]

#define RESPONSE_ID	(		the_id,
			the_base
	)		const irep_idt ID_smt_##the_id##_response{"smt_" #the_id "_response"};

Definition at line 23 of file smt_responses.cpp.

RESPONSE_ID [2/2]

#define RESPONSE_ID	(		the_id,
			the_base
	)

Value:

  template <>                                                                  \
  const smt_##the_id##_responset *the_base::cast<smt_##the_id##_responset>()   \
    const &                                                                    \
  {                                                                            \
    return id() == ID_smt_##the_id##_response                                  \
             ? static_cast<const smt_##the_id##_responset *>(this)             \
             : nullptr;                                                        \
  }

Definition at line 23 of file smt_responses.cpp.