gov.nasa.jpf.util

Interface Growth

All Known Implementing Classes:

ConstGrowth, ExpGrowth

public interface Growth

Field Summary

Fields

Modifier and Type	Field and Description
static Growth	defaultGrowth

Method Summary

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

Field Detail

defaultGrowth

static final Growth defaultGrowth

Method Detail

grow

int grow(int oldSize,
         int minNewSize)