tcra.exercises
Class ResolveDeleteEntriesExercise

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

public class ResolveDeleteEntriesExercise
extends ResolveBoundedStackExercise

Field Summary

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

ResolveDeleteEntriesExercise()

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

ResolveDeleteEntriesExercise

public ResolveDeleteEntriesExercise()