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

Packages that use Sort.Application

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

Uses of Sort.Application in org.smtlib.impl

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

Modifier and Type	Method	Description
Sort.Application	Factory.createSortExpression(IExpr.IIdentifier sortFamily, List<ISort> exprs)
Sort.Application	Factory.createSortExpression(IExpr.IIdentifier sortFamily, ISort... exprs)