Package org.smtlib

Interface ISort.IFcnSort

All Superinterfaces:

INode, IPos.IPosable, ISort

All Known Implementing Classes:

Sort.FcnSort

Enclosing interface:

ISort

public static interface ISort.IFcnSort
extends ISort

An interface to represent the Sort of a function; this is not something that can be written as a sort expression in SMT-LIB, but it is convenient to be able to represent the sorts of function ids uniformly with the sorts of other ids. // FIXME - perhaps we can get around this - IFcnSort

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.ISort

ISort.IAbbreviation, ISort.IApplication, ISort.IDatatype, ISort.IDefinition, ISort.IErrorDefinition, ISort.IFactory, ISort.IFamily, ISort.IFcnSort, ISort.IParameter

Method Summary

Modifier and Type	Method	Description
ISort[]	argSorts()
ISort	resultSort()

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Methods inherited from interface org.smtlib.ISort

equals, equalsNoExpand, expand, isBool, substitute

Method Details

resultSort

ISort resultSort()

argSorts

ISort[] argSorts()