tcra.exercises
Class ResolveDequeExercise

java.lang.Object
  tcra.math.TCRAExercise
      tcra.exercises.ResolveBoundedQueueExercise
          tcra.exercises.ResolvePreemptableQueueExercise
              tcra.exercises.ResolveDequeExercise

public class ResolveDequeExercise
extends ResolvePreemptableQueueExercise

Field Summary

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

ResolveDequeExercise()

Method Summary

Methods inherited from class tcra.exercises.ResolveBoundedQueueExercise

getMathRep, getMaxLength, 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

ResolveDequeExercise

public ResolveDequeExercise()