Loading...

Searching...

No Matches

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) const irep_idt ID_smt_##the_id##_term{"smt_" #the_id "_term"};

#define TERM_ID(the_id)

Functions

static bool is_valid_smt_identifier (irep_idt identifier)

template<typename visitort >

void accept (const smt_termt &term, const irep_idt &id, visitort &&visitor)

Macro Definition Documentation

◆ TERM_ID [1/2]

#define TERM_ID ( the_id ) const irep_idt ID_smt_##the_id##_term{"smt_" #the_id "_term"};

Definition at line 15 of file smt_terms.cpp.

◆ TERM_ID [2/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));

ai_baset::visit

virtual bool visit(const irep_idt &function_id, trace_ptrt p, working_sett &working_set, const goto_programt &goto_program, const goto_functionst &goto_functions, const namespacet &ns)

Perform one step of abstract interpretation from trace t Depending on the instruction type it may com...

Definition ai.cpp:270

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

Definition at line 15 of file smt_terms.cpp.

Function Documentation

◆ accept()

template<typename visitort >

void accept ( const smt_termt & term,

const irep_idt & id,

visitort && visitor

)

Definition at line 224 of file smt_terms.cpp.

◆ is_valid_smt_identifier()

static bool is_valid_smt_identifier ( irep_idt identifier )

static

Definition at line 52 of file smt_terms.cpp.