#include <RntStructs.h>
Public Member Functions | |
FailedPropInfo (const SimSeedInfo &s, const State &p, const State &f) | |
FailedPropInfo ()=default | |
void | nan_check () |
FailedPropInfo & | operator= (const FailedPropInfo &)=default |
Public Attributes | |
bool | has_nans = false |
State | s_final |
State | s_prev |
SimSeedInfo | ssi |
Definition at line 135 of file RntStructs.h.
|
inline |
Definition at line 141 of file RntStructs.h.
|
default |
void FailedPropInfo::nan_check | ( | ) |
|
default |
bool FailedPropInfo::has_nans = false |
Definition at line 139 of file RntStructs.h.
Referenced by nan_check().
State FailedPropInfo::s_final |
Definition at line 138 of file RntStructs.h.
Referenced by nan_check().
State FailedPropInfo::s_prev |
Definition at line 137 of file RntStructs.h.
Referenced by nan_check().
SimSeedInfo FailedPropInfo::ssi |
Definition at line 136 of file RntStructs.h.