de.uka.ilkd.key.rule.metaconstruct
Classes
AddCast
ArrayBaseInstanceOf
ArrayLength
ArrayPostDecl
ConstantValue
ConstructorCall
CreateBeforeLoopUpdate
CreateFrameCond
CreateHeapAnonUpdate
CreateLocalAnonUpdate
CreateObject
CreateWellformedCond
DoBreak
EnhancedForElimination
EnumConstantValue
EvaluateArgs
ExpandMethodBody
ExpandQueriesMetaConstruct
ForInitUnfoldTransformer
ForToWhile
ForToWhileTransformation
InitArray
InitArrayCreation
IntroAtPreDefsOp
IsStatic
MemberPVToField
MethodCall
MultipleVarDecl
ObserverEqualityMetaConstruct
PostWork
ProgramTransformer
ReattachLoopInvariant
ReplaceWhileLoop
SpecialConstructorCall
StaticInitialisation
SwitchToIf
TypeOf
Unpack
UnwindLoop
WhileInvariantTransformation
WhileInvariantTransformer
WhileLoopTransformation