de.uka.ilkd.key.java.expression.operator.adt

Classes

• AllFields
• AllObjects
• SeqConcat
• SeqGet
• SeqIndexOf
• SeqLength
• SeqReverse
• SeqSingleton
• SeqSub
• SetMinus
• SetUnion
• Singleton