tcra.exercises
Class ResolvePreemptableQueueExercise

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

Direct Known Subclasses:

ResolveDequeExercise

public class ResolvePreemptableQueueExercise
extends ResolveBoundedQueueExercise

Field Summary

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

ResolvePreemptableQueueExercise()

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

ResolvePreemptableQueueExercise

public ResolvePreemptableQueueExercise()