public static class CurrentGoalViewMenu.TacletAppComparator extends java.lang.Object implements java.util.Comparator<TacletApp>
Constructor and Description |
---|
TacletAppComparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(TacletApp o1,
TacletApp o2) |
int |
programComplexity(JavaBlock b)
rough approximation of the program complexity
|
java.util.LinkedHashMap<java.lang.String,java.lang.Integer> |
score(TacletApp o1) |
public int programComplexity(JavaBlock b)
public int compare(TacletApp o1, TacletApp o2)
compare
in interface java.util.Comparator<TacletApp>
public java.util.LinkedHashMap<java.lang.String,java.lang.Integer> score(TacletApp o1)
Copyright © 2003-2019 The KeY-Project.