de.uka.ilkd.key.logic

Interfaces

• IntIterator
• NameCreationInfo
• Named
• PIOPathIterator
• ProgramConstruct
• ProgramInLogic
• ProgramPrefix
• Sorted
• Term
• TermOrdering
• TermServices
• Visitor

Classes

• BooleanContainer
• BoundVariableTools
• BoundVarsVisitor
• Choice
• ClashFreeSubst
• ClashFreeSubst.VariableCollectVisitor
• DefaultVisitor
• FormulaChangeInfo
• InnerVariableNamer
• JavaBlock
• LabeledTermImpl
• LexPathOrdering
• LexPathOrdering.CacheKey
• LexPathOrdering.CompRes
• LexPathOrdering.FunctionWeighter
• LexPathOrdering.LiteralWeighter
• LexPathOrdering.Weighter
• MethodStackInfo
• MultiRenamingTable
• Name
• Namespace
• NamespaceSet
• OpCollector
• PosInOccurrence
• PosInProgram
• PosInProgram.PosArrayIntIterator
• PosInTerm
• PosInTerm.PiTIterator
• ProgramElementName
• RenameTable
• RenameTable.EmptyRenameTable
• RenamingTable
• Semisequent
• Semisequent.Empty
• SemisequentChangeInfo
• Sequent
• Sequent.NILSequent
• Sequent.SequentIterator
• SequentChangeInfo
• SequentFormula
• SingleRenamingTable
• SingleRenamingTable.SingleIterator
• SortCollector
• TermBuilder
• TermFactory
• TermImpl
• VariableNamer
• VariableNamer.BasenameAndIndex
• VariableNamer.CustomJavaASTWalker
• VariableNamer.IndProgramElementName
• VariableNamer.PermIndProgramElementName
• VariableNamer.TempIndProgramElementName
• WaryClashFreeSubst

Enums

• TermImpl.ThreeValuedTruth

Exceptions

• TermCreationException