IExpr.INumeral

All Superinterfaces:: IAttributeValue, IExpr, IExpr.IIndex, IExpr.ILiteral, INode, IPos.IPosable, IResponse

All Known Implementing Classes:: SMTExpr.Numeral

Enclosing interface:: IExpr

public static interface IExpr.INumeral extends IExpr.ILiteral, IExpr.IIndex

This interface represents non-negative integers of arbitrary size.

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IExpr
IExpr.IAsIdentifier, IExpr.IAttribute<TT extends IAttributeValue>, IExpr.IAttributedExpr, IExpr.IBinaryLiteral, IExpr.IBinding, IExpr.IConstructor, IExpr.IDecimal, IExpr.IDeclaration, IExpr.IError, IExpr.IExists, IExpr.IFactory, IExpr.IFcnExpr, IExpr.IForall, IExpr.IFunctionDeclaration, IExpr.IHexLiteral, IExpr.IIdentifier, IExpr.IIndex, IExpr.IKeyword, IExpr.ILambda, IExpr.ILet, IExpr.ILiteral, IExpr.IMatch, IExpr.IMatchCase, IExpr.INumeral, IExpr.IParameterizedIdentifier, IExpr.IPattern, IExpr.IPatternTerms, IExpr.IQualifiedIdentifier, IExpr.ISelector, IExpr.ISortDeclaration, IExpr.IStringLiteral, IExpr.ISymbol

Nested classes/interfaces inherited from interface org.smtlib.IResponse
IResponse.IAssertionsResponse, IResponse.IAssignmentResponse, IResponse.IAttributeList, IResponse.IError, IResponse.IFactory, IResponse.IPair<T1,T2>, IResponse.IProofResponse, IResponse.IUnsatAssumptionsResponse, IResponse.IUnsatCoreResponse, IResponse.IValueResponse
Method Summary

Modifier and Type

Method

Description

int

intValue()

BigInteger

value()

Methods inherited from interface org.smtlib.IAttributeValue
isOK

Methods inherited from interface org.smtlib.IExpr
isError, setSort, sort

Methods inherited from interface org.smtlib.INode
accept

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

Method Details
- value
  
  BigInteger value()
- intValue
  
  int intValue()