de.uka.ilkd.key.java.recoderext.adt

Classes

• ADTPrefixConstruct
• AllFields
• AllObjects
• EmptyMapLiteral
• EmptySeqLiteral
• EmptySetLiteral
• Intersect
• MethodSignature
• RangeExpression
• SeqConcat
• SeqGet
• SeqIndexOf
• SeqLength
• SeqReverse
• SeqSingleton
• SeqSub
• SetMinus
• SetUnion
• Singleton