ConditionChecker
DebugStringer
FixedValue
Follower
Gatherer
InfoPrinter
MethodGetter
MostRecentHolder
MostWantedHolder
OneWayFlag
Organizer
OtherRole
PreferenceSetter
ProgramAnalyser
ProgramSlicer
ResultStringer
RoleAnalyser
RoleChecker
RoleHolder
RolesOfVariables
RuleApplyer
SliceWriter
SourceSorter
StatementAnalyser
StatementGetter
Stepper
Temporary
TestMain
Transformation
|