ltsmin_c_interface

foreign(put_chunk, put_chunk(+address(zmsg_t),+address(char),+integer)).

foreign(put_chunk_written, put_chunk_written(+address(zmsg_t),+address(char),+integer)).

foreign(ltsmin_initialize, ltsmin_initialize(+string, [-address(zsock_t)])).

foreign(h_zocket2, h_zocket2(+address(zsock_t), [-integer])).

foreign(ltsmin_teardown, ltsmin_teardown(+address(zsock_t), +string)).

foreign(put_number, put_number(+address(zmsg_t),+integer)).

foreign(create_message, create_message([-address(zmsg_t)])).

foreign(append_message, append_message(+address(zmsg_t),+address(zmsg_t))).

foreign(read_hex_str, read_hex_str(+codes,[-address(char)])).

foreign(free_str, free_str(+address(char))).

foreign(atom_charptr, atom_charptr(+codes, [-address(char)])).

foreign(reset_c_counters, reset_c_counters).

foreign_resource(ltsmin,
    [put_chunk,put_chunk_written,ltsmin_initialize,
    h_zocket2,ltsmin_teardown,
    put_number,create_message,append_message,read_hex_str,
    free_str,atom_charptr, reset_c_counters]).

loadfr :-
    (loaded -> true
    ; assertz(loaded),
    %assert_dir,
    safe_load_foreign_resource(ltsmin_c_interface,ltsmin)).