tcra.exercises
Class StackReasoningExercise

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

public class StackReasoningExercise
extends TCRAExercise

Field Summary

Fields inherited from class tcra.math.TCRAExercise

contracts, interfaceName

Constructor Summary

StackReasoningExercise()

Method Summary

MathModel

getMathRep() Returns the mathematical model of this interface.

Methods inherited from class tcra.math.TCRAExercise

getContracts, getInterfaceName, getSelfString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StackReasoningExercise

public StackReasoningExercise()

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