IExpr.IConstructor

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.Constructor

Enclosing interface:: IExpr

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

A constructor declaration within a datatype; pairs a constructor name with its selectors.

Method Summary

Modifier and Type

Method

Description

List<? extends IExpr.ISelector>

selectors()

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()
- selectors
  
  List<? extends IExpr.ISelector> selectors()
- toString
  
  String toString()
  
  Overrides:
  
  toString in class Object