tcra.exercises
Class ResolveRandomAccessCapabilityExercise

java.lang.Object
  tcra.math.TCRAExercise
      tcra.exercises.ResolveBoundedStackExercise
          tcra.exercises.ResolveRandomAccessCapabilityExercise

public class ResolveRandomAccessCapabilityExercise
extends ResolveBoundedStackExercise

Field Summary

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

ResolveRandomAccessCapabilityExercise()

Method Summary

Methods inherited from class tcra.exercises.ResolveBoundedStackExercise

getMathRep, getMaxDepth, getSelfString

Methods inherited from class tcra.math.TCRAExercise

getContracts, getInterfaceName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ResolveRandomAccessCapabilityExercise

public ResolveRandomAccessCapabilityExercise()