Step 2.
a) Choose the method(s) to be analyzed or Select All
main([Ljava/lang/String;)V
Read methods 139 -- 65 -- 66 Read methods 139 -- 69 -- 70 Read methods 139 -- 69 -- 71 Read methods 139 -- 72 -- 73 Read methods 139 -- 74 -- 75 Read methods 139 -- 76 -- 77 Read methods 139 -- 78 -- 70 Read methods 139 -- 79 -- 66 Read methods 139 -- 80 -- 66 <init>()V
main(I)V
computeMST(Lmemory/jolden/mst/Graph;I)I
BlueRule(Lmemory/jolden/mst/Vertex;Lmemory/jolden/mst/Vertex;)Lmemory/jolden/mst/BlueReturn;
doAllBlueRule(Lmemory/jolden/mst/Vertex;)Lmemory/jolden/mst/BlueReturn;
parseCmdLine([Ljava/lang/String;)V
usage()V
<clinit>()V

Context Info (Classes)

b) Cost Model
Number of instructions
Termination
Memory + Garbage Collector NoneScopedReachabilityLiveness
Number of calls to the method in the class

c) Provide an upper bound to check it? No Yes
e.g. [x]=2*x

d) Compute the asymptotic upper bound? No Normal Lazy

e) Select the user interface Automatic Manual