tcltk_interface.pl

check_op_seq_possible(PrevOpName,OpName,Res) :-
    (operation_sequence_possible_cache(PrevOpName,OpName,R) -> Res=R
    ; operation_sequence_possible(PrevOpName,OpName,R),
    assertz(operation_sequence_possible_cache(PrevOpName,OpName,R)),
    Res=R).

operation_infeasible_in_state(CurID,OpName) :-
    reached_via(CurID,PrevOpName,_FromID), PrevOpName \= 'INITIALISATION', PrevOpName \= 'SETUP_CONSTANTS',
    check_op_seq_possible(PrevOpName,OpName,impossible), write('-'),
    true. %print(impossible(CurID,OpName,via(PrevOpName))),nl.

tcltk_ltsmin_init :-
    Endpoint = '/tmp/ltsmin.probz',
    ltsmin:ltsmin_init(Endpoint, Zocket),
    preferences:get_preference(path_to_ltsmin, LTSminPath),
    atom_concat(LTSminPath,'/prob2lts-sym',LTSminCmd),
    (%system_call_keep_open(LTSminCmd, [Endpoint], PID, _StdIn, _StdOut, _StdErr, [])
    system_call_keep_open_no_pipes(LTSminCmd, [Endpoint],PID, []) % with this version we at least see the LTSmin output
    -> true
    ; ajoin(['Could not start prob2lts-sym in: ',LTSminPath,', ensure that path_to_ltsmin preference is correct!'],Msg),
    add_error(ltsmin,Msg),fail),
    % TODO: further command line options to ltsmin?
    % TODO: handle streams
    print(starting_ltsmin_loop(LTSminCmd)),nl, %system:sleep(10),
    ltsmin:ltsmin_loop(Zocket),
    process_release(PID),
    ltsmin:ltsmin_teardown(Zocket, Endpoint).