IExpr.ISelector

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.Selector

Enclosing interface:: IExpr

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

A selector declaration within a constructor; pairs a selector name with its result sort.

Method Summary

Modifier and Type

Method

Description

ISort

sort()

IExpr.ISymbol

symbol()

String

toString()

Methods inherited from interface org.smtlib.INode
accept

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

Method Details
- symbol
  
  IExpr.ISymbol symbol()
- sort
  
  ISort sort()
- toString
  
  String toString()
  
  Overrides:
  
  toString in class Object