Package org.smtlib

Interface ISort.IFamily

All Superinterfaces:

INode, IPos.IPosable, ISort.IDefinition

All Known Implementing Classes:

Sort.Family

Enclosing interface:

ISort

public static interface ISort.IFamily
extends ISort.IDefinition

This interface represents a new Sort symbol designating either a new Sort (if the arity is 0) or a new parameterized Sort family (if the arity is greater than 0); each new symbol has a (new) name and a non-negative arity.

Method Summary

Modifier and Type	Method	Description
IExpr.INumeral	arity()	The arity of the sort symbol
List<IExpr.IAttribute<?>>	attributes()	Any attributes declared on this sort symbol (e.g.
IExpr.IIdentifier	identifier()	The unique identifier for this sort symbol

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 unique identifier for this sort symbol

Specified by:

identifier in interface ISort.IDefinition

arity

IExpr.INumeral arity()

The arity of the sort symbol

attributes

List<IExpr.IAttribute<?>> attributes()

Any attributes declared on this sort symbol (e.g. :right-assoc, as on -> in HO-Core.smt2); empty (never null) if there are none.