expr_to_ibex_parser Class Reference

This class will parse ESBMC expressions to ibex expressions: More...

#include <goto_contractor.h>

Public Member Functions
	expr_to_ibex_parser (CspMap *map, ibex::Variable *vars)
	expr_to_ibex_parser ()=default
ibex::Ctc *	parse (irep_container< expr2t > expr)
	~expr_to_ibex_parser ()

Detailed Description

This class will parse ESBMC expressions to ibex expressions:

Constructor & Destructor Documentation

expr_to_ibex_parser() [1/2]

expr_to_ibex_parser::expr_to_ibex_parser ( CspMap * map, ibex::Variable * vars )

inline

expr_to_ibex_parser() [2/2]

expr_to_ibex_parser::expr_to_ibex_parser ( )

default

~expr_to_ibex_parser()

expr_to_ibex_parser::~expr_to_ibex_parser ( )

inline

Member Function Documentation

parse()

ibex::Ctc * expr_to_ibex_parser::parse ( irep_container< expr2t > expr )

inline

---

The documentation for this class was generated from the following files:

• src/goto-programs/goto_contractor.h
• src/goto-programs/goto_contractor.cpp