Package org.smtlib

Interface IExpr.IStringLiteral

All Superinterfaces:

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

All Known Implementing Classes:

SMTExpr.StringLiteral

Enclosing interface:

IExpr

public static interface IExpr.IStringLiteral
extends IExpr.ILiteral

This interface represents SMT-LIB string 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
String	toString()	Returns a value with enclosing quotes and appropriate SMT-LIB escape sequences so that the String value can be represented with SMT-LIB printable characters; the result may have explicit newline characters.
String	value()	Returns the value without enclosing quotes and without any escape sequences; there may be explicit new line (and other white space characters)

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 the value without enclosing quotes and without any escape sequences; there may be explicit new line (and other white space characters)

toString

String toString()

Returns a value with enclosing quotes and appropriate SMT-LIB escape sequences so that the String value can be represented with SMT-LIB printable characters; the result may have explicit newline characters.

Overrides:

toString in class Object