IExpr.ISortDeclaration

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.SortDeclaration

Enclosing interface:: IExpr

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

Pairs a sort name with its arity; used in declare-datatype and declare-datatypes.

Method Summary

Modifier and Type

Method

Description

IExpr.INumeral

arity()

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()
- arity
  
  IExpr.INumeral arity()