cprover
string_constraint_instantiation.h File Reference
+ 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