string_constraint_generator_indexof.cpp File Reference

Generates string constraints for the family of indexOf and lastIndexOf java functions. More...

#include "string_constraint_generator.h"
#include <util/mathematical_expr.h>
#include "string_refinement_invariant.h"

Include dependency graph for string_constraint_generator_indexof.cpp:

Go to the source code of this file.

Detailed Description

Generates string constraints for the family of indexOf and lastIndexOf java functions.

Definition in file string_constraint_generator_indexof.cpp.