Package org.smtlib

Interface ISort.IDefinition

All Superinterfaces:
INode, IPos.IPosable
All Known Subinterfaces:
ISort.IAbbreviation, ISort.IErrorDefinition, ISort.IFamily, ISort.IParameter
All Known Implementing Classes:
Sort.Abbreviation, Sort.ErrorDefinition, Sort.Family, Sort.Parameter
Enclosing interface:
ISort
public static interface ISort.IDefinition extends INode, IPos.IPosable
A super-interface for definitions of new sort ids.

  • Method Summary

    Modifier and Type
    Method
    Description
    ISort
    eval(List<ISort> sorts)
    A new sort expression that results from applying the sort symbol to a list of sort expressions
    IExpr.IIdentifier
    identifier()
    The identifier for the sort symbol
    int
    intArity()
    The arity of the symbol

    Methods inherited from interface org.smtlib.INode

    accept

    Methods inherited from interface org.smtlib.IPos.IPosable

    pos, setPos

  • Method Details

    • identifier

      IExpr.IIdentifier identifier()
      The identifier for the sort symbol

    • eval

      ISort eval(List<ISort> sorts)
      A new sort expression that results from applying the sort symbol to a list of sort expressions

    • intArity

      int intArity()
      The arity of the symbol