smt_logics.h File Reference

#include <util/irep.h>
#include "smt_logics.def"

Include dependency graph for smt_logics.h:

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

Go to the source code of this file.

Classes
class	smt_logict
class	smt_logict::storert< derivedt >
	Class for adding the ability to up and down cast smt_logict to and from irept. More...
class	smt_logic_const_downcast_visitort

Macros
#define	LOGIC_ID(the_id, the_name)
#define	LOGIC_ID(the_id, the_name)    virtual void visit(const smt_logic_##the_id##t &) = 0;

Macro Definition Documentation

LOGIC_ID [1/2]

#define LOGIC_ID	(		the_id,
			the_name
	)

Value:

  /* NOLINTNEXTLINE(readability/identifiers) cpplint does not match the ## */  \
  class smt_logic_##the_id##t : public smt_logict                              \
  {                                                                            \
  public:                                                                      \
    smt_logic_##the_id##t();                                                   \
  };

Definition at line 77 of file smt_logics.h.

LOGIC_ID [2/2]

#define LOGIC_ID	(		the_id,
			the_name
	)		virtual void visit(const smt_logic_##the_id##t &) = 0;

Definition at line 77 of file smt_logics.h.