ap.types.UninterpretedSortTheory
Extractor to identify predicates that are domain predicates of some sort.
(Since version ) see corresponding Javadoc for more information.
Extractor to identify predicates that are domain predicates of some sort.