Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
B
- badFormat - Variable in class org.smtlib.SolverProcess
-
Set true by a caller for the duration of a single command whose expected response text may contain literal, non-SMT-LIB unbalanced parentheses (e.g.
- badSymbol(IExpr.ISymbol) - Method in class org.smtlib.TypeChecker
-
Reports a symbol that is not legal (see SMT.Configuration.isOKSymbol), which only the API (or declare-fun's name) can produce; returns true if it is not legal
- badWhitespace - Variable in class org.smtlib.sexpr.Lexer
-
The position of a vertical tab or form feed, outside a comment, in the white space before the token last scanned, or null: \p{Space} reads them as white space, which SMT-LIB's white space is not; the Parser reports them (the Lexer reports nothing itself, #148)
- binary(String) - Method in interface org.smtlib.IExpr.IFactory
-
Creates an IBinaryLiteral from a string of 0 and 1 digits.
- binary(String) - Method in class org.smtlib.impl.Factory
- BINARY - Static variable in class org.smtlib.sexpr.Utils
-
Concrete syntax for the special BINARY token
- BinaryLiteral(String) - Constructor for class org.smtlib.impl.SMTExpr.BinaryLiteral
-
Creates a binary literal from a string of
0and1digits (no#bprefix). - binding(IExpr.ISymbol, IExpr) - Method in interface org.smtlib.IExpr.IFactory
-
Creates a binding for a Let expression.
- binding(IExpr.ISymbol, IExpr) - Method in class org.smtlib.impl.Factory
- Binding(IExpr.ISymbol, IExpr) - Constructor for class org.smtlib.impl.SMTExpr.Binding
-
Creates a binding of the given symbol to the given expression.
- bindings - Variable in class org.smtlib.impl.SMTExpr.Let
- bindings() - Method in interface org.smtlib.IExpr.ILet
- bindings() - Method in class org.smtlib.impl.SMTExpr.Let
- BITVEC - Static variable in class org.smtlib.Utils
-
Name of the BitVector sort
- BITVEC_SYM - Static variable in class org.smtlib.Utils
-
Canonical ISymbol form of BITVEC, for structural comparison against a parsed identifier's head symbol (see TypeChecker.isBitVec() and SymbolTable's bit-vector family check) instead of comparing via .toString().
- bitVectorTheorySet - Variable in class org.smtlib.SymbolTable
-
true if the bit-vector theory has been set
- bodies - Variable in class org.smtlib.command.C_define_funs_rec
-
The list of defining bodies, one per declaration
- bodies() - Method in class org.smtlib.command.C_define_funs_rec
- bodies() - Method in interface org.smtlib.ICommand.Idefine_funs_rec
-
Returns the list of defining expressions (bodies), parallel to
ICommand.Idefine_funs_rec.declarations(). - body - Variable in class org.smtlib.impl.SMTExpr.MatchCase
- body() - Method in interface org.smtlib.IExpr.IMatchCase
- body() - Method in class org.smtlib.impl.SMTExpr.MatchCase
- Bool() - Method in class org.smtlib.impl.Factory
- Bool() - Static method in class org.smtlib.impl.Sort
-
Returns the pre-defined Bool sort
- Bool() - Method in interface org.smtlib.ISort.IFactory
-
Returns the Bool sort.
- boolOptions - Variable in class org.smtlib.Utils
-
The set of standard options with boolean values
- buf - Variable in class org.smtlib.CharSequenceInfinite
-
The internal char array that holds characters as they are read
- BVADD - Static variable in class org.smtlib.Utils
- BVAND - Static variable in class org.smtlib.Utils
- BVASHR - Static variable in class org.smtlib.Utils
- BVCOMP - Static variable in class org.smtlib.Utils
- BVLSHR - Static variable in class org.smtlib.Utils
- BVMUL - Static variable in class org.smtlib.Utils
- BVNAND - Static variable in class org.smtlib.Utils
- BVNEG - Static variable in class org.smtlib.Utils
- BVNEGO - Static variable in class org.smtlib.Utils
- BVNOR - Static variable in class org.smtlib.Utils
- BVNOT - Static variable in class org.smtlib.Utils
- BVOR - Static variable in class org.smtlib.Utils
- BVSADDO - Static variable in class org.smtlib.Utils
- BVSDIV - Static variable in class org.smtlib.Utils
- BVSGE - Static variable in class org.smtlib.Utils
- BVSGT - Static variable in class org.smtlib.Utils
- BVSHL - Static variable in class org.smtlib.Utils
- BVSLE - Static variable in class org.smtlib.Utils
- BVSLT - Static variable in class org.smtlib.Utils
- BVSMOD - Static variable in class org.smtlib.Utils
- BVSMULO - Static variable in class org.smtlib.Utils
- BVSREM - Static variable in class org.smtlib.Utils
- BVSUB - Static variable in class org.smtlib.Utils
- BVUADDO - Static variable in class org.smtlib.Utils
- BVUDIV - Static variable in class org.smtlib.Utils
- BVUGE - Static variable in class org.smtlib.Utils
- BVUGT - Static variable in class org.smtlib.Utils
- BVULE - Static variable in class org.smtlib.Utils
- BVULT - Static variable in class org.smtlib.Utils
- BVUMULO - Static variable in class org.smtlib.Utils
- BVUREM - Static variable in class org.smtlib.Utils
- BVXNOR - Static variable in class org.smtlib.Utils
- BVXOR - Static variable in class org.smtlib.Utils
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form