There's even a method:
```
count_t SimpleTruthValue::getCount() const
{
    return count;
}
```