string_constraint_instantiation.h File Reference

Defines related function for string constraints. More...

#include <solvers/refinement/string_constraint.h>
#include <solvers/refinement/string_constraint_generator.h>

Include dependency graph for string_constraint_instantiation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Detailed Description

Defines related function for string constraints.

Definition in file string_constraint_instantiation.h.

Function Documentation

instantiate_not_contains()

std::vector<exprt> instantiate_not_contains ( const string_not_contains_constraintt &  axiom, const std::set< std::pair< exprt, exprt >> &  index_pairs, const std::unordered_map< string_not_contains_constraintt, symbol_exprt > &  witnesses  )

related