Package org.smtlib

Interface IExpr.IBinaryLiteral

All Superinterfaces:

IAttributeValue, IExpr, IExpr.IIndex, IExpr.ILiteral, INode, IPos.IPosable, IResponse

All Known Implementing Classes:

SMTExpr.BinaryLiteral

Enclosing interface:

IExpr

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

This interface represents SMT-LIB binary literals

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
BigInteger	intValue()	The binary value as an unsigned integer
int	length()	Number of binary bits
String	value()	Returns a canonical value of the binary literal: 0 and 1 digits from MSB to LSB

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

String value()

Returns a canonical value of the binary literal: 0 and 1 digits from MSB to LSB

intValue

BigInteger intValue()

The binary value as an unsigned integer

length

int length()

Number of binary bits