cprover
|
Holds information about any discovered nondet methods, with extreme type- safety. More...
Public Types | |
enum | is_nondett : bool { is_nondett::FALSE, is_nondett::TRUE } |
enum | is_nullablet : bool { is_nullablet::FALSE, is_nullablet::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 23 of file replace_java_nondet.cpp.
|
strong |
Enumerator | |
---|---|
FALSE | |
TRUE |
Definition at line 26 of file replace_java_nondet.cpp.
|
strong |
Enumerator | |
---|---|
FALSE | |
TRUE |
Definition at line 31 of file replace_java_nondet.cpp.
|
inline |
Definition at line 37 of file replace_java_nondet.cpp.
|
inlineexplicit |
Definition at line 42 of file replace_java_nondet.cpp.
|
inline |
Definition at line 47 of file replace_java_nondet.cpp.
|
inline |
Definition at line 51 of file replace_java_nondet.cpp.
|
private |
Definition at line 57 of file replace_java_nondet.cpp.
|
private |
Definition at line 58 of file replace_java_nondet.cpp.