Uses of Class
org.smtlib.impl.Sort.Abbreviation

Packages that use Sort.Abbreviation

Package	Description
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.

Uses of Sort.Abbreviation in org.smtlib.impl

Methods in org.smtlib.impl that return Sort.Abbreviation

Modifier and Type	Method	Description
Sort.Abbreviation	Factory.createSortAbbreviation(IExpr.IIdentifier identifier, List<ISort.IParameter> params, ISort sortExpr)