fixes in simplecudd & lbdd
This commit is contained in:
@@ -302,7 +302,7 @@ term_expansion_intern_ad((Head<--Body), Module, Mode, [user:ad_intern((Head<--Bo
|
||||
).
|
||||
|
||||
term_expansion_intern_ad( (Head<--Body),_,_) :-
|
||||
format(chars(Error), 'Error at compiling the annotated disjunction ~q<--Body.',[Head,Body]),
|
||||
format(chars(Error), 'Error at compiling the annotated disjunction ~q<--~qb.',[Head,Body]),
|
||||
print_message(error,Error),
|
||||
fail.
|
||||
|
||||
|
@@ -204,7 +204,7 @@
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
% Prolog interface for problogbdd
|
||||
% Prolog interface for simplecudd
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
||||
:-use_module(library(system)).
|
||||
@@ -212,14 +212,14 @@
|
||||
|
||||
bdd_init(FDO, PID):-
|
||||
pid(MYPID),
|
||||
convert_filename_to_problog_path('problogbdd', ProblogBDD),
|
||||
atomic_concat([ProblogBDD, ' -o -pid ', MYPID], C),
|
||||
convert_filename_to_problog_path('simplecudd', Simplecudd),
|
||||
atomic_concat([Simplecudd, ' -o -pid ', MYPID], C),
|
||||
exec(C, [pipe(FDO), std, std], PID).
|
||||
|
||||
bdd_init(FDO, FDI, PID):-
|
||||
pid(MYPID),
|
||||
convert_filename_to_problog_path('problogbdd', ProblogBDD),
|
||||
atomic_concat([ProblogBDD, ' -o -m o -pid ', MYPID], C),
|
||||
convert_filename_to_problog_path('simplecudd', Simplecudd),
|
||||
atomic_concat([Simplecudd, ' -o -m o -pid ', MYPID], C),
|
||||
exec(C, [pipe(FDO), pipe(FDI), std], PID).
|
||||
|
||||
bdd_commit(FDO, LINE):-
|
||||
|
@@ -321,7 +321,7 @@ get_codes(_, LF, LF).
|
||||
%========================================================================
|
||||
|
||||
|
||||
check_existance(FileName):-
|
||||
check_existance(FileName):-
|
||||
convert_filename_to_problog_path(FileName, Path),
|
||||
catch(file_exists(Path), _, fail), !.
|
||||
check_existance(FileName):-
|
||||
@@ -334,5 +334,6 @@ path_grouping(PathSep) :-
|
||||
|
||||
path_separator('\\') :-
|
||||
current_prolog_flag( windows, true ).
|
||||
path_separator('/').
|
||||
path_separator('/').
|
||||
|
||||
|
Reference in New Issue
Block a user