ap.theories.nia
ConstantTerm orderings
(Since version ) see corresponding Javadoc for more information.
ConstantTerm orderings