ap.theories.arrays.ExtArray
Extractor recognising the store function of any array theory.
store
(Since version ) see corresponding Javadoc for more information.
Extractor recognising the
store
function of any array theory.