|
..
|
|
BaseArendIntention.kt
|
|
ImplementFieldsInCoClauseIntention.kt
|
|
ImplementFieldsInNewExprIntention.kt
|
|
ReplaceMetaWithResultIntention.kt
|
|
ReplaceWithNormalFormIntention.kt
|
|
SelectionIntention.kt
|
|
SelfTargetingIntention.kt
|
|
SplitAtomPatternIntention.kt
|
|
WrapInGoalIntention.kt
|