ISort.IAbbreviation

All Superinterfaces:: INode, IPos.IPosable, ISort.IDefinition

All Known Implementing Classes:: Sort.Abbreviation

Enclosing interface:: ISort

public static interface ISort.IAbbreviation extends ISort.IDefinition

This interface represents a new Sort symbol designating an abbreviation for a (possibly parameterized) sort expression.

Method Summary

Modifier and Type

Method

Description

IExpr.IIdentifier

identifier()

The identifier of the abbreviation

List<ISort.IParameter>

parameters()

The list of parameters of the abbreviation (possibly empty, but not null)

ISort

sortExpression()

The sort expression that the abbreviation represents, presumably using the given parameters

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.IDefinition
eval, intArity

Method Details
- identifier
  
  IExpr.IIdentifier identifier()
  
  The identifier of the abbreviation
  
  Specified by:
  
  identifier in interface ISort.IDefinition
- parameters
  
  List<ISort.IParameter> parameters()
  
  The list of parameters of the abbreviation (possibly empty, but not null)
- sortExpression
  
  ISort sortExpression()
  
  The sort expression that the abbreviation represents, presumably using the given parameters