tcra.exercises
Class ResolveStackMysteryExercise

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

public class ResolveStackMysteryExercise
extends TCRAExercise

Field Summary

protected static int

max_depth

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

ResolveStackMysteryExercise()

Method Summary

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

Field Detail

max_depth

protected static final int max_depth

See Also:

Constant Field Values

Constructor Detail

ResolveStackMysteryExercise

public ResolveStackMysteryExercise()

Method Detail

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

getMaxDepth

public static int getMaxDepth()