Preprocess a goto-programs so that calls to the java Character library are replaced by simple expressions. More...

#include "character_refine_preprocess.h"
#include <util/arith_tools.h>
#include <util/bitvector_expr.h>
#include <util/std_expr.h>
#include <goto-programs/goto_instruction_code.h>

Include dependency graph for character_refine_preprocess.cpp:

Go to the source code of this file.

Detailed Description

Preprocess a goto-programs so that calls to the java Character library are replaced by simple expressions.

Definition in file character_refine_preprocess.cpp.