IExpr.IFunctionDeclaration

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.FunctionDeclaration

Enclosing interface:: IExpr

public static interface IExpr.IFunctionDeclaration extends INode, IPos.IPosable

A function declaration: a name, a parameter list (sorted variables), and a result sort; used in the header list of define-funs-rec.

Method Summary

Modifier and Type

Method

Description

List<IExpr.IDeclaration>

parameters()

ISort

sort()

IExpr.ISymbol

symbol()

Methods inherited from interface org.smtlib.INode
accept

Methods inherited from interface org.smtlib.IPos.IPosable
pos, setPos

Method Details
- symbol
  
  IExpr.ISymbol symbol()
- parameters
  
  List<IExpr.IDeclaration> parameters()
- sort
  
  ISort sort()