CBMC
|
Holds information about any discovered nondet methods, with extreme type- safety. More...
Public Types | |
enum class | is_nondett : bool { FALSE , TRUE } |
enum class | is_nullablet : bool { FALSE , TRUE } |
Public Member Functions | |
nondet_instruction_infot () | |
nondet_instruction_infot (is_nullablet is_nullable) | |
is_nondett | get_instruction_type () const |
is_nullablet | get_nullable_type () const |
Private Attributes | |
is_nondett | is_nondet |
is_nullablet | is_nullable |
Holds information about any discovered nondet methods, with extreme type- safety.
Definition at line 24 of file replace_java_nondet.cpp.
|
strong |
Enumerator | |
---|---|
FALSE | |
TRUE |
Definition at line 27 of file replace_java_nondet.cpp.
|
strong |
Enumerator | |
---|---|
FALSE | |
TRUE |
Definition at line 32 of file replace_java_nondet.cpp.
|
inline |
Definition at line 38 of file replace_java_nondet.cpp.
|
inlineexplicit |
Definition at line 43 of file replace_java_nondet.cpp.
|
inline |
Definition at line 48 of file replace_java_nondet.cpp.
|
inline |
Definition at line 52 of file replace_java_nondet.cpp.
|
private |
Definition at line 58 of file replace_java_nondet.cpp.
|
private |
Definition at line 59 of file replace_java_nondet.cpp.