HeapCollector
basetypes
handleGoal
Plugin PluginSequence TheoryProcedure ExtractArithEncoder LShiftCastSplitter ModCastSplitter ModPlugin RShiftCastSplitter
hasChanged
PrincessPanel
hasCommonVariables
CoeffMonomial Monomial
hasCountermodel
PresburgerTools
hasCtor
ADT
hasEmptyStack
LemmaBase
hasImpliedIneqConstraints
ModPlugin
hasNext
SortedIterator UnsortedIterator LCBlender ScalingIterator CountIt FilterIt PeekIteratorTrafo PriorityQueueWithIterators
hashCode
IdealInt IdealRat Settings IAtom IBinFormula IBoolLit IConstant IEpsilon IFormulaITE IFunApp IIntFormula IIntLit IInterpolantSpec INamedPart INot IPlus IQuantified ITermITE ITimes ITrigger IVariable ConstantFreedom BetaCertificate BranchInferenceCertificate CloseCertificate ReferenceCertificate OmegaCertificate SplitEqCertificate StrengthenCertificate TermOrder ArithConj Conjunction NegatedConjunctions EquationConj EquationSet NegEquationConj InEqConj ArrayLinearCombination LinearCombination0 LinearCombination1 LinearCombination2 Atom PredConj LazyIndexedSeqConcat LazyIndexedSeqSlice
height
AndTree