smt_terms.cpp File Reference

#include "smt_terms.h"
#include <util/arith_tools.h>
#include <util/mp_arith.h>
#include <util/range.h>
#include "smt_sorts.h"
#include <algorithm>
#include <regex>
#include "smt_terms.def"

Include dependency graph for smt_terms.cpp:

Go to the source code of this file.

Macros
#define	TERM_ID(the_id)
#define	TERM_ID(the_id)

Functions
static bool	is_valid_smt_identifier (irep_idt identifier)

Macro Definition Documentation

TERM_ID [1/2]

#define TERM_ID

(

the_id

)

Value:

if(id == ID_smt_##the_id##_term)                                             \
  return visitor.visit(static_cast<const smt_##the_id##_termt &>(term));

Definition at line 15 of file smt_terms.cpp.

TERM_ID [2/2]

#define TERM_ID

(

the_id

)

Value:

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

Definition at line 15 of file smt_terms.cpp.

Function Documentation

is_valid_smt_identifier()

bool is_valid_smt_identifier ( irep_idt identifier )

static

Definition at line 52 of file smt_terms.cpp.