tcra.exercises
Class ResolveBoundedQueueExercise

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

Direct Known Subclasses:

ResolveAppendingCapabilityExercise, ResolvePreemptableQueueExercise, ResolveReplicaCapabilityExercise

public class ResolveBoundedQueueExercise
extends TCRAExercise

Field Summary

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

ResolveBoundedQueueExercise()

Method Summary

MathModel	getMathRep() Returns the mathematical model of this interface.
static int	getMaxLength()
java.lang.String	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

ResolveBoundedQueueExercise

public ResolveBoundedQueueExercise()

Method Detail

getMaxLength

public static int getMaxLength()

getMathRep

public MathModel getMathRep()

Description copied from class: TCRAExercise

Returns the mathematical model of this interface.

Specified by:

getMathRep in class TCRAExercise

Returns:

Math model

getSelfString

public java.lang.String getSelfString()

Overrides:

getSelfString in class TCRAExercise