gov.nasa.jpf.util

Class ExpGrowth

java.lang.Object

gov.nasa.jpf.util.ExpGrowth

All Implemented Interfaces:

Growth

public class ExpGrowth
extends java.lang.Object
implements Growth

Field Summary

Fields inherited from interface gov.nasa.jpf.util.Growth

defaultGrowth

Constructor Summary

Constructors

Constructor and Description
ExpGrowth(float factor)
ExpGrowth(float factor, int plus)

Method Summary

Modifier and Type	Method and Description
int	grow(int oldSize, int minNewSize)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpGrowth

public ExpGrowth(float factor,
                 int plus)

ExpGrowth

public ExpGrowth(float factor)

Method Detail

grow

public int grow(int oldSize,
                int minNewSize)

Specified by:

grow in interface Growth