IExpr.IDeclaration

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.Declaration

Enclosing interface:: IExpr

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

This interface represents a declaration of a parameter and its sort

Method Summary

Modifier and Type

Method

Description

IExpr.ISymbol

parameter()

ISort

sort()

Methods inherited from interface org.smtlib.INode
accept

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

Method Details
- parameter
  
  IExpr.ISymbol parameter()
- sort
  
  ISort sort()