/// <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++; }