ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
property_encoder.cpp File Reference
#include <ld-frontend/property/property_encoder.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <util/symtab/symbol.h>
#include <algorithm>
#include <cctype>
#include <stdexcept>
#include <string>
Include dependency graph for property_encoder.cpp:

Functions

static std::string ld_name (const std::string &var)
static std::string find_iec_operator (const std::string &s)
static std::string undeclared_message (const std::string &name, const LdProperty &p)
static size_t find_outermost_op (const std::string &s, const std::string &op)

Function Documentation

◆ find_iec_operator()

std::string find_iec_operator ( const std::string & s)
static

◆ find_outermost_op()

size_t find_outermost_op ( const std::string & s,
const std::string & op )
static

◆ ld_name()

std::string ld_name ( const std::string & var)
static

◆ undeclared_message()

std::string undeclared_message ( const std::string & name,
const LdProperty & p )
static