smt_commands.cpp File Reference

#include "smt_commands.h"
#include <util/range.h>
#include <algorithm>
#include "smt_commands.def"

Include dependency graph for smt_commands.cpp:

Go to the source code of this file.

Macros
#define	COMMAND_ID(the_id)    const irep_idt ID_smt_##the_id##_command{"smt_" #the_id "_command"};
#define	COMMAND_ID(the_id)

Functions
template<typename visitort >
void	accept (const smt_commandt &command, const irep_idt &id, visitort &&visitor)

Macro Definition Documentation

COMMAND_ID [1/2]

#define COMMAND_ID

(

the_id

)

const irep_idt ID_smt_##the_id##_command{"smt_" #the_id "_command"};

Definition at line 10 of file smt_commands.cpp.

COMMAND_ID [2/2]

#define COMMAND_ID

(

the_id

)

Value:

  if(id == ID_smt_##the_id##_command)                                          \
    return visitor.visit(static_cast<const smt_##the_id##_commandt &>(command));

Definition at line 10 of file smt_commands.cpp.

Function Documentation

accept()

template<typename visitort >

void accept	(	const smt_commandt &	command,
		const irep_idt &	id,
		visitort &&	visitor
	)

Definition at line 182 of file smt_commands.cpp.