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

Packages that use Sort.FcnSort

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

Uses of Sort.FcnSort in org.smtlib.impl

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

Modifier and Type	Method	Description
Sort.FcnSort	Factory.createFcnSort(ISort[] args, ISort result)