12 #ifndef CPROVER_JAVA_BYTECODE_CONVERT_NONDET_H 13 #define CPROVER_JAVA_BYTECODE_CONVERT_NONDET_H 70 #endif // CPROVER_JAVA_BYTECODE_CONVERT_NONDET_H
A collection of goto functions.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
The symbol table base class interface.
void convert_nondet(goto_functionst &goto_functions, symbol_table_baset &symbol_table, message_handlert &message_handler, const java_object_factory_parameterst &object_factory_parameters)
Converts side_effect_exprt_nondett expressions using java_object_factory.
Interface providing access to a single function in a GOTO model, plus its associated symbol table.