java.util.Set<E> listeners
java.util.Map<K,V> signatureToJavaType
org.eclipse.jdt.core.IJavaProject project
java.util.Collection<E> compilationUnits
java.util.Collection<E> methods
org.eclipse.jdt.core.IMethod mainMethod
java.util.Map<K,V> namesToRules
java.util.Collection<E> rewriteRules
Language language
DynamicJavaCode dynamicCode
RewritingPermutator permutator
java.util.List<E> rewritableClasses
TestAllPermutations tester
TestAllPermutations.JavaResultComparer comparer
DrawingStepHandler stepHandler
InputGenerator<T> inputGenerator
Input<T> input
TestAllPermutations.InputOutputPairs inputOutputPairs
HeapContent desiredOutput
int rewriteStepsSoFar
java.util.Set<E> finalSolutionListeners
java.util.List<E> finalSolution
java.util.Map<K,V> finalSolutionSources
Language language
ModelEditor editor