/// <summary>
/// Adds the fault metadata of the current transition.
/// </summary>
private void AddFaultMetadata(long stateHash, FaultSet activatedFaults, int nextSet)
{
if (_nextFaultIndex >= _capacity)
{
throw new OutOfMemoryException("Out of memory. Try increasing the successor state capacity.");
}
_faults[_nextFaultIndex] = new FaultSetInfo
{
ActivatedFaults = activatedFaults,
NextSet = nextSet,
Transition = &_transitions[Count]
};
_lookup[stateHash] = _nextFaultIndex;
_nextFaultIndex++;
}
/// <summary>
/// Adds the fault metadata of the current transition.
/// </summary>
private void AddFaultMetadata(long stateHash, int nextSet)
{
if (_nextFaultIndex >= _capacity)
throw new OutOfMemoryException("Unable to store an additional transition. Try increasing the successor state capacity.");
_faults[_nextFaultIndex] = new FaultSetInfo
{
NextSet = nextSet,
Transition = &_transitions[_count]
};
_lookup[stateHash] = _nextFaultIndex;
_nextFaultIndex++;
}
