Class Formula_optim.memory_flattener_visitor

class memory_flattener_visitor : object .. end
Class that remove all read in memory by constant bitvector values
Inherits
method get_new_symbols : unit -> Smtlib2.SmtVarSet.t
Returns all the bitvector inputs that have been created by replacing select in memory by bitvectors