2:- module(lps_corner,[golps/1,golps/3]). 3
5:- module_transparent(golps/1). 6:- module_transparent(golps/3). 7
8golps(Out):- golps(T,DFA, []),!,(Out=T->true;Out=DFA).
9golps(T,DFAgraph,Options) :-
10 ignore((
11 \+ member(cycle_hook(_, _, _), Options),
12 \+ member(background(_), Options),
13 ( catch(lps_server_UI:lps_user_is_super, _, fail)
14 -> true
15 ; \+ member(timeout(_), Options)
16 ))),
17 visualizer:gojson(_File, [dc, silent|Options], [], T, DFAgraph).
18
19
20:- user:ensure_loaded(library(dialect/lps)). 21:- current_predicate(swish:is_a_module/0) -> true ; asserta(swish:is_a_module). 22
23:- interpreter:use_module(library('../engine/interpreter.P')). 24:- visualizer:use_module(library('../utils/visualizer.P')). 25
26:- lps_term_expander:ensure_loaded(library('../swish/term_expander')).
27
28
29
30:- if(current_module(swish)). 31:- user:ensure_loaded('../swish/user_module_file'). 32:- else. 35:- endif.