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

Packages that use Sort.Family

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

Uses of Sort.Family in org.smtlib.impl

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

Modifier and Type	Method	Description
Sort.Family	Factory.createSortFamily(IExpr.IIdentifier identifier, IExpr.INumeral arity, List<IExpr.IAttribute<?>> attributes)