private void AdjustInt(INTS idx, int value)
{
story.setCount(idx, story.getCount(idx) + value);
}
private void DecInt(INTS idx)
{
story.decCount(idx);
}
private void SetInt(INTS idx, int val)
{
story.setCount(idx, val);
}
private void IncInt(INTS idx)
{
story.incCount(idx);
}
// the int operations
private int GetInt(INTS idx)
{
return(story.getCount(idx));
}