Package org.smtlib

Interface IAttributeValue

All Superinterfaces:

INode, IPos.IPosable, IResponse

All Known Subinterfaces:

IExpr, IExpr.IAsIdentifier, IExpr.IAttributedExpr, IExpr.IBinaryLiteral, IExpr.IDecimal, IExpr.IError, IExpr.IExists, IExpr.IFcnExpr, IExpr.IForall, IExpr.IHexLiteral, IExpr.IIdentifier, IExpr.IIndex, IExpr.ILambda, IExpr.ILet, IExpr.ILiteral, IExpr.IMatch, IExpr.INumeral, IExpr.IParameterizedIdentifier, IExpr.IPatternTerms, IExpr.IQualifiedIdentifier, IExpr.IStringLiteral, IExpr.ISymbol, ISexpr, ISexpr.ISeq, ISexpr.IToken<T>

All Known Implementing Classes:

Pos.AbstractExpr, Sexpr, Sexpr.Seq, Sexpr.Token, SMTExpr, SMTExpr.AsIdentifier, SMTExpr.AttributedExpr, SMTExpr.BinaryLiteral, SMTExpr.Decimal, SMTExpr.Error, SMTExpr.Exists, SMTExpr.FcnExpr, SMTExpr.Forall, SMTExpr.HexLiteral, SMTExpr.Lambda, SMTExpr.Let, SMTExpr.Literal, SMTExpr.Match, SMTExpr.Numeral, SMTExpr.ParameterizedIdentifier, SMTExpr.PatternTerms, SMTExpr.StringLiteral, SMTExpr.Symbol

public interface IAttributeValue
extends IResponse, IPos.IPosable

This interface represents the general class of attribute values; that is, it is the super-interface of any class that may be an attribute value; in the abstract syntax it has no particular structure, though it does include true, false, string literals, numerals, and various pre-defined constants.

Nested Class Summary

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
default boolean	isError()	Returns true if the response is an error response
default boolean	isOK()	Returns true if the response is a SUCCESS response

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Method Details

isOK

default boolean isOK()

Description copied from interface: IResponse

Returns true if the response is a SUCCESS response

Specified by:

isOK in interface IResponse

isError

default boolean isError()

Description copied from interface: IResponse

Returns true if the response is an error response

Specified by:

isError in interface IResponse