A-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

Abbreviation(IExpr.IIdentifier, List<ISort.IParameter>, ISort) - Constructor for class org.smtlib.impl.Sort.Abbreviation: Creates a sort abbreviation with the given identifier, parameter list, and defining expression.
abort - Variable in class org.smtlib.SMT.Configuration: If true, command processing in a solver aborts on the first error
AbortInputException() - Constructor for exception class org.smtlib.IParser.AbortInputException: Signals that interactive input was intentionally aborted by the user.
abortLine() - Method in interface org.smtlib.IParser: Skips remainder of current line
abortLine() - Method in class org.smtlib.sexpr.Lexer: Skips the rest of the current line, including a token already looked ahead at, resetting the matcher to point to the line termination character
ABS - Static variable in class org.smtlib.Utils
AbstractExpr() - Constructor for class org.smtlib.impl.Pos.AbstractExpr
AbstractSolver - Class in org.smtlib: This class implements the operations of the org.smtlib.ISolver interface that map directly onto a single translated command sent to the solver process, with the expected response of a fully SMT-LIB compliant solver (a flat success/error/sat/unsat/ unknown/unsupported, or a bare value/attribute-pair for get-option/get-info): the command is translated with AbstractSolver.translate(INode) and sent via AbstractSolver.sendCommand(ICommand).
AbstractSolver() - Constructor for class org.smtlib.AbstractSolver
AbstractSolver.Pending - Class in org.smtlib: The response returned for a command sent by AbstractSolver.sendPipelined(ICommand) whose actual response has not yet been read; AbstractSolver.Pending.isReady() tells when it has (see AbstractSolver.readPipelined(boolean)), and AbstractSolver.Pending.response() then gives it.
AbstractSolver.Shape - Enum Class in org.smtlib: The kinds of response a command has besides an error or unsupported (#149)
AbstractSolver.StackChange - Enum Class in org.smtlib: The kinds of command that change the assertion stack: each returns a conforming solver to assert mode, where the get- commands about the last check are errors (declare-const is declare-fun, declare-datatypes is declare-datatype, define-funs-rec is define-fun-rec), as does a set-logic that a solver accepts after a check (SMT-LIB makes that an error, but --relax may allow it)
accept(IVisitor<T>) - Method in class org.smtlib.AbstractSolver.Pending
accept(IVisitor<T>) - Method in class org.smtlib.command.C_assert
accept(IVisitor<T>) - Method in class org.smtlib.command.C_check_sat_assuming
accept(IVisitor<T>) - Method in class org.smtlib.command.C_check_sat
accept(IVisitor<T>) - Method in class org.smtlib.command.C_comment
accept(IVisitor<T>) - Method in class org.smtlib.command.C_declare_const
accept(IVisitor<T>) - Method in class org.smtlib.command.C_declare_datatype
accept(IVisitor<T>) - Method in class org.smtlib.command.C_declare_datatypes
accept(IVisitor<T>) - Method in class org.smtlib.command.C_declare_fun
accept(IVisitor<T>) - Method in class org.smtlib.command.C_declare_sort_parameter
accept(IVisitor<T>) - Method in class org.smtlib.command.C_declare_sort
accept(IVisitor<T>) - Method in class org.smtlib.command.C_define_const
accept(IVisitor<T>) - Method in class org.smtlib.command.C_define_fun_rec
accept(IVisitor<T>) - Method in class org.smtlib.command.C_define_fun
accept(IVisitor<T>) - Method in class org.smtlib.command.C_define_funs_rec
accept(IVisitor<T>) - Method in class org.smtlib.command.C_define_sort
accept(IVisitor<T>) - Method in class org.smtlib.command.C_echo
accept(IVisitor<T>) - Method in class org.smtlib.command.C_exit
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_assertions
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_assignment
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_info
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_model
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_option
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_proof
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_unsat_assumptions
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_unsat_core
accept(IVisitor<T>) - Method in class org.smtlib.command.C_get_value
accept(IVisitor<T>) - Method in class org.smtlib.command.C_pop
accept(IVisitor<T>) - Method in class org.smtlib.command.C_push
accept(IVisitor<T>) - Method in class org.smtlib.command.C_reset_assertions
accept(IVisitor<T>) - Method in class org.smtlib.command.C_reset
accept(IVisitor<T>) - Method in class org.smtlib.command.C_set_info
accept(IVisitor<T>) - Method in class org.smtlib.command.C_set_logic
accept(IVisitor<T>) - Method in class org.smtlib.command.C_set_option
accept(IVisitor<T>) - Method in class org.smtlib.ext.C_exec
accept(IVisitor<T>) - Method in class org.smtlib.ext.C_what
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.AssertionsResponse
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.AssignmentResponse
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.Error
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.ProofResponse
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.Seq
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.UnsatAssumptionsResponse
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.UnsatCoreResponse
accept(IVisitor<T>) - Method in class org.smtlib.impl.Response.ValueResponse
accept(IVisitor<T>) - Method in class org.smtlib.impl.Script: The accept method for visitor classes; the type parameter is the return type of the accept and visit methods
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.AsIdentifier
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Attribute
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.AttributedExpr
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.BinaryLiteral
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Binding
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Constructor
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Datatype
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Decimal
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Declaration
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Error
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Exists
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.FcnExpr
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Forall
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.FunctionDeclaration
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.HexLiteral
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Keyword
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Lambda
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Let
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Logic
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Match
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.MatchCase
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Numeral
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.ParameterizedIdentifier
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Pattern
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.PatternTerms
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Selector
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.SortDeclaration
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.StringLiteral
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Symbol
accept(IVisitor<T>) - Method in class org.smtlib.impl.SMTExpr.Theory
accept(IVisitor<T>) - Method in class org.smtlib.impl.Sort.Abbreviation
accept(IVisitor<T>) - Method in class org.smtlib.impl.Sort.Application
accept(IVisitor<T>) - Method in class org.smtlib.impl.Sort.ErrorDefinition
accept(IVisitor<T>) - Method in class org.smtlib.impl.Sort.Family
accept(IVisitor<T>) - Method in class org.smtlib.impl.Sort.FcnSort
accept(IVisitor<T>) - Method in class org.smtlib.impl.Sort.Parameter
accept(IVisitor<T>) - Method in interface org.smtlib.INode: The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
accept(IVisitor<TT>) - Method in class org.smtlib.sexpr.Sexpr.Seq
accept(IVisitor<TT>) - Method in class org.smtlib.sexpr.Sexpr.Token
adapterClass() - Method in record class org.smtlib.SolverResolver.Resolution: Returns the value of the adapterClass record component.
adapterClassName() - Method in record class org.smtlib.SolverResolver.Resolution: Returns the value of the adapterClassName record component.
add(ICommand) - Method in interface org.smtlib.ICommand.IScript: Adds a command to the end of the script's command list.
add(ICommand) - Method in class org.smtlib.impl.Script: Adds a command to the end of the script
add(IExpr.ISymbol, Boolean) - Method in class org.smtlib.impl.Response.AssignmentResponse
add(SymbolTable.Entry, boolean) - Method in class org.smtlib.SymbolTable: Adds the given entry to the symbol table.
add(SymbolTable.Entry, boolean, boolean) - Method in class org.smtlib.SymbolTable: Adds the given entry to the symbol table; if overload is false and the identifier in the entry is already in the table, the method returns false (without changing the symbol table); otherwise the entry is added and the method returns true
addDatatypeConstructors(IExpr.IIdentifier, List<IExpr.ISymbol>, boolean) - Method in class org.smtlib.SymbolTable: Records a datatype's constructors, in the frame its sort was added to (global = background, else current).
addListener(Log.IListener) - Method in class org.smtlib.Log: Adds a listener
addLogicSymbol(IExpr.IIdentifier, boolean) - Method in class org.smtlib.SymbolTable: Records a function (sort, if sort is true) symbol declared by the logic or one of its theories
addSortDefinition(IExpr.IIdentifier, List<ISort.IParameter>, ISort, boolean) - Method in class org.smtlib.SymbolTable: Adds a new sort abbreviation definition to the given frame (global = background, else current).
addSortDefinition(IExpr.IIdentifier, IExpr.INumeral, List<IExpr.IAttribute<?>>, boolean) - Method in class org.smtlib.SymbolTable: Adds a new sort family definition, with attributes (e.g.
addSortParameter(IExpr.ISymbol, boolean) - Method in class org.smtlib.SymbolTable: Adds the given symbol as a sort to the top scope of the sort table; returns false if the given symbol is already in the top scope (and the sort table is unchanged); returns true if the symbol is not already in the top scope.
ALL - Class in org.smtlib.logic
ALL(SMT.Configuration, IExpr.ISymbol, Collection<IExpr.IAttribute<?>>) - Constructor for class org.smtlib.logic.ALL
ALL_STATISTICS - Static variable in class org.smtlib.Utils: The string designating an info item
allowedArraySort(ISort.IApplication) - Method in class org.smtlib.logic.AUFLIA
allowedArraySort(ISort.IApplication) - Method in class org.smtlib.logic.AUFLIRA
allowedArraySort(ISort.IApplication) - Method in class org.smtlib.logic.Logic: Whether this logic allows the Array sort array, whose own sort is already expanded and which contains no sort parameter
allowedArraySort(ISort.IApplication) - Method in class org.smtlib.logic.QF_ABV
allowedArraySort(ISort.IApplication) - Method in class org.smtlib.logic.QF_AUFBV
allowedArraySort(ISort.IApplication) - Method in class org.smtlib.logic.QF_AUFLIA
allowedArraySorts() - Method in class org.smtlib.logic.AUFLIA
allowedArraySorts() - Method in class org.smtlib.logic.AUFLIRA
allowedArraySorts() - Method in class org.smtlib.logic.Logic: The Array sorts this logic allows, as text for error messages, or null if it allows every Array sort.
allowedArraySorts() - Method in class org.smtlib.logic.QF_ABV
allowedArraySorts() - Method in class org.smtlib.logic.QF_AUFBV
allowedArraySorts() - Method in class org.smtlib.logic.QF_AUFLIA
ambiguousConstant(IExpr.IIdentifier) - Method in class org.smtlib.SymbolTable: Returns an error message if more than one constant (arity 0) named `name` is declared, so that a bare use of it needs an `as` qualifier; otherwise null.
amountRead - Variable in class org.smtlib.CharSequenceInfinite: The number of characters read so far (and in the char array)
AND - Static variable in class org.smtlib.Utils
answeredAfter() - Method in class org.smtlib.solvers.Solver_z3_4_5: z3 4.5 reports the get- commands after a declare or define itself, except after declare-datatype(s) (probed 2026-10-29)
answeredAfter() - Method in class org.smtlib.solvers.Solver_z3_recent: The kinds of command after which this z3 still answers the get- commands about the last check (probed 2026-10-29: z3 4.6 to 5.1 after every declare and define; 4.8 and later also after reset-assertions, which 4.6 and 4.7 report themselves).
ANY - Enum constant in enum class org.smtlib.AbstractSolver.Shape: any non-empty value, including a bare symbol: get-option's value, and echo's text, which some solvers write unquoted (their adapters answer a user's echo themselves)
APIExample - Class in Unnamed Package
APIExample() - Constructor for class APIExample
app - Variable in class org.smtlib.SolverProcess: The command-line arguments that launch a new process
append(String) - Method in class org.smtlib.sexpr.Printer: Appends a string to the writer, converting any IOException to VisitorException.
Application(IExpr.IIdentifier, List<ISort>) - Constructor for class org.smtlib.impl.Sort.Application: Creates a sort application from a sort identifier and a list of sort arguments.
Application(IExpr.IIdentifier, List<ISort>, boolean) - Constructor for class org.smtlib.impl.Sort.Application: Creates a sort application that is written in parentheses even if it has no parameters, as (S)
Application(IExpr.IIdentifier, ISort...) - Constructor for class org.smtlib.impl.Sort.Application: Creates a sort application from a sort identifier and a varargs array of sort arguments.
arg - Variable in class org.smtlib.command.C_echo
arg() - Method in class org.smtlib.command.C_echo: The string literal argument to be echoed.
arg() - Method in interface org.smtlib.ICommand.Iecho: Returns the string literal to be echoed.
args - Variable in class org.smtlib.command.C_define_fun: The sorts of the arguments of the function being defined
args - Variable in class org.smtlib.command.C_define_sort: The sort parameters of the sort being defined.
args - Variable in class org.smtlib.impl.SMTExpr.FcnExpr
args() - Method in interface org.smtlib.IExpr.IFcnExpr: The arguments of the function
args() - Method in class org.smtlib.impl.SMTExpr.FcnExpr
argSorts - Variable in class org.smtlib.command.C_declare_fun: The sorts of the arguments of the function being declared -- never null (every construction path, parser or direct, always supplies a real list, empty for a zero-argument function).
argSorts - Variable in class org.smtlib.impl.Sort.FcnSort
argSorts() - Method in class org.smtlib.command.C_declare_fun
argSorts() - Method in interface org.smtlib.ICommand.Ideclare_fun: Returns the list of argument sorts.
argSorts() - Method in class org.smtlib.impl.Sort.FcnSort
argSorts() - Method in interface org.smtlib.ISort.IFcnSort
arity - Variable in class org.smtlib.command.C_declare_sort: The arity of the sort symbol
arity - Variable in class org.smtlib.impl.SMTExpr.SortDeclaration
arity - Variable in class org.smtlib.impl.Sort.Family
arity() - Method in class org.smtlib.command.C_declare_sort: The arity of the sort symbol
arity() - Method in interface org.smtlib.ICommand.Ideclare_sort: Returns the arity of the sort.
arity() - Method in interface org.smtlib.IExpr.ISortDeclaration
arity() - Method in class org.smtlib.impl.SMTExpr.SortDeclaration
arity() - Method in class org.smtlib.impl.Sort.Family
arity() - Method in interface org.smtlib.ISort.IFamily: The arity of the sort symbol
ARRAY - Static variable in class org.smtlib.Utils
ARROW - Static variable in class org.smtlib.Utils
AS - Static variable in class org.smtlib.sexpr.Utils
AS - Static variable in class org.smtlib.Utils: The String for the as reserved word
AsIdentifier(IExpr.IIdentifier, ISort) - Constructor for class org.smtlib.impl.SMTExpr.AsIdentifier: Creates an as-identifier from the given base identifier and sort qualifier.
ASSERT - Enum constant in enum class org.smtlib.AbstractSolver.StackChange
assertCommand(IExpr) - Method in interface org.smtlib.ICommand.IFactory: Creates an assert command object, asserting the given expression.
assertCommand(IExpr) - Method in class org.smtlib.impl.Factory
assertExpr(IExpr) - Method in class org.smtlib.AbstractSolver
assertExpr(IExpr) - Method in interface org.smtlib.ISolver: Adds the given expression to the current assertion-stack frame.
assertExpr(IExpr) - Method in class org.smtlib.solvers.Solver_bitwuzla
assertExpr(IExpr) - Method in class org.smtlib.solvers.Solver_simplify
assertExpr(IExpr) - Method in class org.smtlib.solvers.Solver_test
assertExpr(IExpr) - Method in class org.smtlib.solvers.Solver_z3_4_3
ASSERTION_STACK_LEVELS - Static variable in class org.smtlib.Utils: The string designating an info item
assertions() - Method in class org.smtlib.impl.Response.AssertionsResponse
assertions() - Method in interface org.smtlib.IResponse.IAssertionsResponse
assertionSetStack - Variable in class org.smtlib.solvers.Solver_simplify: The data structure that maintains this class's own local simulation of the solver's assertion set stack -- see Solver_test.assertionSetStack.
assertionSetStack - Variable in class org.smtlib.solvers.Solver_test: The solver's assertion set stack, one frame per push level, top first.
AssertionsResponse(List<IExpr>) - Constructor for class org.smtlib.impl.Response.AssertionsResponse
AssignmentResponse(List<IResponse.IPair<IExpr.ISymbol, Boolean>>) - Constructor for class org.smtlib.impl.Response.AssignmentResponse
assignments() - Method in class org.smtlib.impl.Response.AssignmentResponse
assignments() - Method in interface org.smtlib.IResponse.IAssignmentResponse
asSort(ISexpr, SymbolTable) - Method in class org.smtlib.Utils
assumptions() - Method in class org.smtlib.impl.Response.UnsatAssumptionsResponse
assumptions() - Method in interface org.smtlib.IResponse.IUnsatAssumptionsResponse
AT - Static variable in class org.smtlib.Utils
atLeastVersion(SMT.Configuration.SMTLIB) - Method in class org.smtlib.SMT.Configuration: Returns true if the configured version is at least the given version.
attribute(IExpr.IKeyword) - Method in interface org.smtlib.IExpr.IFactory: Creates an attribute with just a keyword and no attribute value.
attribute(IExpr.IKeyword) - Method in class org.smtlib.impl.Factory
attribute(IExpr.IKeyword, T) - Method in interface org.smtlib.IExpr.IFactory: Creates an attribute with a keyword and a value.
attribute(IExpr.IKeyword, T) - Method in class org.smtlib.impl.Factory
Attribute(IExpr.IKeyword, TT) - Constructor for class org.smtlib.impl.SMTExpr.Attribute: Creates an attribute from the given keyword and (possibly null) value.
ATTRIBUTE - Static variable in class org.smtlib.sexpr.Utils: Concrete syntax for the token that starts an attributed expression
attributedExpr(IExpr, List<IExpr.IAttribute<?>>) - Method in interface org.smtlib.IExpr.IFactory: Creates an attributed expression (an expression with a positive number of attributes).
attributedExpr(IExpr, List<IExpr.IAttribute<?>>) - Method in class org.smtlib.impl.Factory
attributedExpr(IExpr, IExpr.IKeyword, T) - Method in interface org.smtlib.IExpr.IFactory: Creates an attributed expression with just one attribute.
attributedExpr(IExpr, IExpr.IKeyword, T) - Method in class org.smtlib.impl.Factory
AttributedExpr(IExpr, List<IExpr.IAttribute<?>>) - Constructor for class org.smtlib.impl.SMTExpr.AttributedExpr: Creates an attributed expression from the given base expression and attribute list.
attributeList() - Method in interface org.smtlib.ILogic: The attributes in source order, including repeated keywords
attributeList() - Method in class org.smtlib.impl.SMTExpr.Logic
attributeList() - Method in class org.smtlib.impl.SMTExpr.Theory
attributeList() - Method in interface org.smtlib.ITheory: The attributes in source order, including repeated keywords
attributes - Variable in class org.smtlib.command.C_declare_fun: Any trailing attributes (see attributes()) -- never null, Collections.emptyList() if none (the common case: this is a non-standard extension, only meaningful at all under --relax).
attributes - Variable in class org.smtlib.impl.SMTExpr.AttributedExpr
attributes - Variable in class org.smtlib.impl.SMTExpr.Logic: The logic's attributes — last occurrence wins for duplicate keywords
attributes - Variable in class org.smtlib.impl.SMTExpr.Theory: The theory attributes — last occurrence wins for duplicate keywords
attributes - Variable in class org.smtlib.impl.Sort.Family
attributes - Variable in class org.smtlib.SymbolTable.Entry: Any attributes (null if none), e.g.
attributes() - Method in class org.smtlib.command.C_declare_fun
attributes() - Method in interface org.smtlib.ICommand.Ideclare_fun: Returns any trailing attributes given after the result sort -- an experimental, non-standard extension (SMT-LIB's declare-fun has no attribute* production); accepting one at all is unconditional at parse time, but the command is rejected at type-checking time unless --relax is set.
attributes() - Method in interface org.smtlib.IExpr.IAttributedExpr
attributes() - Method in interface org.smtlib.ILogic: The attributes of the logic
attributes() - Method in class org.smtlib.impl.Response.Seq
attributes() - Method in class org.smtlib.impl.SMTExpr.AttributedExpr
attributes() - Method in class org.smtlib.impl.SMTExpr.Logic: The attributes, as a Map, keyed by the keyword in the attribute
attributes() - Method in class org.smtlib.impl.SMTExpr.Theory: The attributes, as a Map, keyed by the keyword in the attribute
attributes() - Method in class org.smtlib.impl.Sort.Family
attributes() - Method in interface org.smtlib.IResponse.IAttributeList
attributes() - Method in interface org.smtlib.ISort.IFamily: Any attributes declared on this sort symbol (e.g.
attributes() - Method in interface org.smtlib.ITheory: The attributes (keyword-value pairs) of the theory.
attributesList - Variable in class org.smtlib.impl.SMTExpr.Logic: All logic attributes in source order, preserving duplicates
attributesList - Variable in class org.smtlib.impl.SMTExpr.Theory: All theory attributes in source order, preserving duplicates
attrValue() - Method in interface org.smtlib.IExpr.IAttribute
attrValue() - Method in class org.smtlib.impl.SMTExpr.Attribute
AUFLIA - Class in org.smtlib.logic
AUFLIA(SMT.Configuration, IExpr.ISymbol, Collection<IExpr.IAttribute<?>>) - Constructor for class org.smtlib.logic.AUFLIA
AUFLIRA - Class in org.smtlib.logic
AUFLIRA(SMT.Configuration, IExpr.ISymbol, Collection<IExpr.IAttribute<?>>) - Constructor for class org.smtlib.logic.AUFLIRA
AUFNIRA - Class in org.smtlib.logic
AUFNIRA(SMT.Configuration, IExpr.ISymbol, Collection<IExpr.IAttribute<?>>) - Constructor for class org.smtlib.logic.AUFNIRA
AUTHORS - Static variable in class org.smtlib.Utils: The string designating an info item
AUTHORS_VALUE - Static variable in class org.smtlib.Utils: The response to the :authors info item

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form