Commit ff31c5f7 authored by Elwin Pater's avatar Elwin Pater Committed by Michael Weber

Changed bool to int in exported functions

Also, changed char* to void* when appropriate.
Signed-off-by: default avatarMichael Weber <michaelw@cs.utwente.nl>
parent 84758b04
......@@ -1169,7 +1169,7 @@ void dve_compiler::gen_is_accepting()
return;
if (ltsmin) {
line( "extern \"C\" int buchi_is_accepting( void* model, char *_state )" );
line( "extern \"C\" int buchi_is_accepting( void* model, void *_state )" );
block_begin();
line( "(void)model;" );
line( "state_struct_t &state = * (state_struct_t*) _state;" );
......@@ -1207,13 +1207,13 @@ void dve_compiler::print_generator()
line();
if (ltsmin) {
line( "extern \"C\" void get_initial_state( char *to )" );
line( "extern \"C\" void get_initial_state( void *to )" );
block_begin();
line( "memcpy(to, (char*)&initial_state, state_size);" );
line( "memcpy(to, &initial_state, state_size);" );
block_end();
line();
line( "extern \"C\" bool have_property()" );
line( "extern \"C\" int have_property()" );
block_begin();
if (have_property) {
line("return true;");
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment