protected State updateSignature ( State state , Acceptance acc ) { assert ( state != init ) ; StateSignature sig = state . getSignature ( ) ; if ( sig . acceptance == acc ) { return state ; } register . remove ( sig ) ; sig . acceptance = acc ; sig . updateHashCode ( ) ; return replaceOrRegister ( state ) ; }
Updates the signature for a given state .