TG-634 Functional style for string refinement#1404

Merged

thk123 merged 28 commits intodiffblue:developfrom

LAJW:string-refinement-functional

Sep 20, 2017

Commits on Sep 12, 2017

Replace exceptions with optional
Lukasz A.J. Wrona
committed
Refactor integer conversions
Lukasz A.J. Wrona
committed
Use expr_cast in string_exprt casts
Lukasz A.J. Wrona
committed
Group bv_refinement config variables
Lukasz A.J. Wrona
committed
Group string_refinement arguments
Lukasz A.J. Wrona
committed
Remove constructor boilerplate
Lukasz A.J. Wrona
committed

Commits on Sep 13, 2017

Convert display_index_set to a free function
Lukasz A.J. Wrona
committed

Commits on Sep 19, 2017

Make functions static
Lukasz A.J. Wrona
committed
Remove unused functions from string_refinement header
Lukasz A.J. Wrona
committed
static is_valid_string_constraint
Lukasz A.J. Wrona
committed
Static is_axiom_sat
Lukasz A.J. Wrona
committed
make static check_axioms
Lukasz A.J. Wrona
committed
Static add_axioms for strings
Lukasz A.J. Wrona
committed
Public methods made public
Lukasz A.J. Wrona
committed
static index_set functions
Lukasz A.J. Wrona
committed
Static index set functions
Lukasz A.J. Wrona
committed
static concretize length
Lukasz A.J. Wrona
committed
Static concretize strings, lengths and results
Lukasz A.J. Wrona
committed
static Instantiate not contains
Lukasz A.J. Wrona
committed
static set_char_array_equality
Lukasz A.J. Wrona
committed
static get_array
Lukasz A.J. Wrona
committed
static debug_model
Lukasz A.J. Wrona
committed
static add axioms for string assings
Lukasz A.J. Wrona
committed
Remove unused add_lemma parameter
Lukasz A.J. Wrona
committed
Fix get lambdas
Lukasz A.J. Wrona
committed
Fix unit test build
Lukasz A.J. Wrona
committed
Adhere to lintage
Lukasz A.J. Wrona
committed

Commits on Sep 20, 2017

Address commenters' suggestions
Lukasz A.J. Wrona
committed