CrisisTx Members

The CrisisTx type exposes the following members.

Methods


  Name Description
Public method VerifyInvariant
MsgVerifyInvariant represents a message to verify a particular invariance.