goto_expr_factory.h

Go to the documentation of this file.

#pragma once
 
#include "goto-symex/equation/symex_target_equation.h"

expr2tc create_value_expr(int value, const type2tc &type);

expr2tc create_lessthanequal_relation(expr2tc &lhs, expr2tc &rhs);

expr2tc create_greaterthanequal_relation(expr2tc &lhs, expr2tc &rhs);