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