Invariant: Validates counts of NFTokens after all transaction types.
The following checks are made:
- The number of minted or burned NFTokens can only be changed by NFTokenMint or NFTokenBurn transactions.
- A successful NFTokenMint must increase the number of NFTokens.
- A failed NFTokenMint must not change the number of minted NFTokens.
- An NFTokenMint transaction cannot change the number of burned NFTokens.
- A successful NFTokenBurn must increase the number of burned NFTokens.
- A failed NFTokenBurn must not change the number of burned NFTokens.
- An NFTokenBurn transaction cannot change the number of minted NFTokens.
Definition at line 511 of file InvariantCheck.h.