Step 2.
a) Choose the method(s) to be analyzed or Select All
main([Ljava/lang/String;)V
create(IIZ)Lmemory/jolden/em3d/BiGraph;
compute()V
toString()Ljava/lang/String;
Read methods 59 -- 34 -- 35 Read methods 59 -- 38 -- 39 Read methods 59 -- 40 -- 41 Read methods 59 -- 42 -- 43 Read methods 59 -- 44 -- 45 <init>(Lmemory/jolden/em3d/Node;Lmemory/jolden/em3d/Node;)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