LCBlender
linearcombination
LEMMA_SIMPLIFIER
ConstraintSimplifier
LEMMA_SIMPLIFIER_NON_DNF
ConstraintSimplifier
LEMMA_SIMPLIFIER_TRACE
ConstraintSimplifier
LEMMA_SIMPLIFIER_TRACE_NON_DNF
ConstraintSimplifier
LOGO
Param
LRUCache
util
LShiftCastSplitter
bitvectors
LazyConjunction
conjunctions
LazyIndexedSeqConcat
util
LazyIndexedSeqSlice
util
LazyMappedMap
util
LazyMappedSet
util
LazyMatchTask
goal
Leaf
basetypes
LeafFormula
IExpression
LeftistHeap
basetypes
LemmaBase
certificates
Lemmas
ConstraintSimplifierOptions
LexOrdering
nia
LinearCombination
linearcombination
LinearCombination0
linearcombination
LinearCombination1
linearcombination
LinearCombination2
linearcombination
LineariseVisitor
parser
ListOrdering
nia
List_0
PartialCertificate
Literal
SimpleClausifier
LogScope
ComputationLogger
LoggingBranchInferenceCollector
certificates
Logic
util
l
TerForConvenience
lPostVars
ConcurrentProgram
lPreVars
ConcurrentProgram
l_shift_cast
ModuloArithmetic
labelFor
Basis
labels
Basis
lastCoeff
LinearCombination
lastTerm
ArrayLinearCombination LinearCombination LinearCombination0 LinearCombination1 LinearCombination2
lazyPairSeq
LinearCombination
lazyQuantifiedClauses
CompoundFormulas
lcOrdering
TermOrder
lcSize
ArrayLinearCombination LinearCombination LinearCombination0 LinearCombination1 LinearCombination2
lcSum
TerForConvenience
lcm
IdealInt CoeffMonomial Monomial Polynomial
leadingCoeff
ArrayLinearCombination LinearCombination LinearCombination0 LinearCombination1 LinearCombination2
leadingTerm
ArrayLinearCombination LinearCombination LinearCombination0 LinearCombination1 LinearCombination2
leadingTermSet
EquationSet
leastPosElement
Interval
left
Node IFormulaITE IInterpolantSpec ITermITE AndTree AndLazyConjunction
leftActions
SplitDisequality
leftAtom
PredUnifyInference
leftChild
BinaryCertificate
leftCoeff
CombineInequalitiesInference
leftConstants
InterpolationContext
leftFormula
BetaCertificate
leftFormulae
InterpolationContext
leftInEq
AntiSymmetryInference CombineInequalitiesInference SplitEqCertificate
leftLocalConstants
InterpolationContext
leftLocalPredicates
InterpolationContext
leftParts
NIInterpolation NIInterpolation
leftPredicates
InterpolationContext
lemma
BetaCertificate
length
IAtom IBinFormula IEpsilon IExpression IFormulaITE IFunApp IIntFormula INamedPart INot IPlus IQuantified ITermITE ITimes ITrigger IVarShiftList BinaryCertificate Certificate CertificateOneChild CloseCertificate ReferenceCertificate OmegaCertificate StrengthenCertificate NegatedConjunctions EquationSet InEqConj LinearCombination Atom IntervalIdealRange IntervalPlainRange LazyIndexedSeqConcat LazyIndexedSeqSlice PredicatedIdealRange PredicatedPlainRange
leq
IntegerRing RingWithOrder ModRing Rationals
lexCombineInts
Seqs
lexCompare
Seqs
lexCompareOrdering
Seqs
lexcompare
MonomialOrdering
lhs
Assignment CertArithLiteral
lhss
EquationSet
linComb
PartialInterpolant
linearcombination
terfor
list
PartitionOrdering
lm
Polynomial
loadFile
InputDialog
loadFileChooser
InputDialog
localAssumedFormulas
BetaCertificate BranchInferenceCertificate Certificate CloseCertificate ReferenceCertificate OmegaCertificate SplitEqCertificate StrengthenCertificate
localBoundConstants
BranchInference BranchInferenceCertificate Certificate ColumnReduceInference MacroInference PartialCertificateInference QuantifierInference
localPost1
NIAssertion
localPost2
NIAssertion
localProvidedFormulas
BetaCertificate Certificate CertificateOneChild CloseCertificate ReferenceCertificate OmegaCertificate SplitEqCertificate StrengthenCertificate
localState1
NIAssertion NICheck NIAssertion NICheck OwickiGriesCheck
localState1_0
OwickiGriesCheck
localState1_1
OwickiGriesCheck
localState2
NIAssertion NICheck OwickiGriesCheck NIAssertion NICheck OwickiGriesCheck
localStates1
NIInterpolation NIInterpolation
localStates2
NIInterpolation NIInterpolation
log
LogScope
long2idealInt
IdealInt
longValue
IdealInt IdealRat
lookupDomainPredicate
UninterpretedSortTheory
lookupFunctionResult
PredConj
lookupPartName
Environment
lookupRepresentationFunction
StringTheory
lookupSort
Environment
lookupSortPartial
Environment
lookupStringSort
StringTheory
lookupSym
Environment
lookupSymPartial
Environment
lookupSymbol
TheoryRegistry
lower
Interval ModRing ModSort Interval Interval
lowerBound
PresburgerTools ReduceWithAC ReduceWithConjunction ReduceWithEmptyInEqs ReduceWithInEqs ReduceWithInEqsImpl VisitorRes IntervalPropagator
lowerBoundMin
VisitorRes
lowerBoundOrElse
VisitorRes
lowerBoundWithAssumptions
ReduceWithAC ReduceWithConjunction ReduceWithEmptyInEqs ReduceWithInEqs ReduceWithInEqsImpl IntervalPropagator
lowerBounds
IntervalProp
lowerLimit
IntervalSet
lt
IntegerRing RingWithOrder ModRing Polynomial Rationals
lteq
BindingContext ValueOrdering