Namespace Transformers

Contains all AST transformer implementations of refa.

All transformer factory functions implemented here will optionally take CreationOptions or a sub-class of it. This can be used to control the behavior of the created transformers.

Index

Interfaces

CreationOptions PatternEdgeAssertionsCreationOptions RemoveAssertionsCreationOptions

Functions

applyAssertions factorOut inline mergeWithQuantifier moveUpEmpty nestedQuantifiers patternEdgeAssertions removeDeadBranches removeUnnecessaryAssertions replaceAssertions sortAssertions unionCharacters

Settings

Member Visibility

Theme