/**
* Adds a mined information type to the mined types this object has used.
*
* @param infoType The information types mined.
*/
public void addMinedInfoType(InformationType infoType) {
int val = 1 << infoType.ordinal();
if (minedTypes_ == -1) minedTypes_ = val;
minedTypes_ |= val;
}
