[Don't Merge] TG-634 String refinement overhaul#1399

Closed

LAJW wants to merge 7 commits intodiffblue:developfrom

LAJW:string-refinement-overhaul

Commits on Sep 27, 2017

Move expr_cast into a separate file
Lukasz A.J. Wrona
committed
Split string generator axioms into separate vectors
Lukasz A.J. Wrona
committed
Drop string constraint:exprt inheritance
Lukasz A.J. Wrona
committed
Turn string_constraintt into a simple struct
Lukasz A.J. Wrona
committed
Move string_constraint function definitions to cpp file
Lukasz A.J. Wrona
committed
Move string_constraint functions out of string_refinement
Lukasz A.J. Wrona
committed
Add environment class
Lukasz A.J. Wrona
committed