diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

first version for occurs_check flag.

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-02-13 11:26:05 +00:00
parent 9dc5992109
commit fb04195314
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/yap.tex
View File

@ -8119,6 +8119,11 @@ architecture.
Read or set the size of the hash table that is used for looking up the Read or set the size of the hash table that is used for looking up the
blackboard when the key is an integer. blackboard when the key is an integer.
@item occurs_check
@findex occurs_check (yap_flag/2 option)
@*
Current read-only and set to @code{false}.
@item n_of_integer_keys_in_db @item n_of_integer_keys_in_db
@findex n_of_integer_keys_in_db (yap_flag/2 option) @findex n_of_integer_keys_in_db (yap_flag/2 option)
@* @*

8
pl/flags.yap
View File

@ -543,6 +543,13 @@ yap_flag(discontiguous_warnings,X) :-
yap_flag(discontiguous_warnings,X) :- yap_flag(discontiguous_warnings,X) :-
'$do_error'(domain_error(flag_value,discontiguous_warnings+X),yap_flag(discontiguous_warnings,X)). '$do_error'(domain_error(flag_value,discontiguous_warnings+X),yap_flag(discontiguous_warnings,X)).
yap_flag(occurs_check,X) :-
X = false, !.
yap_flag(occurs_check,true) :- !,
fail.
yap_flag(occurs_check,X) :-
'$do_error'(domain_error(flag_value,occurs_check+X),yap_flag(occurs_check,X)).
yap_flag(redefine_warnings,X) :- yap_flag(redefine_warnings,X) :-
var(X), !, var(X), !,
('$syntax_check_mode'(on,_), '$syntax_check_multiple'(on,_) -> ('$syntax_check_mode'(on,_), '$syntax_check_multiple'(on,_) ->
@ -876,6 +883,7 @@ yap_flag(dialect,yap).
'$yap_system_flag'(min_integer). '$yap_system_flag'(min_integer).
'$yap_system_flag'(min_tagged_integer). '$yap_system_flag'(min_tagged_integer).
'$yap_system_flag'(n_of_integer_keys_in_db). '$yap_system_flag'(n_of_integer_keys_in_db).
'$yap_system_flag'(occurs_check).
'$yap_system_flag'(open_expands_filename). '$yap_system_flag'(open_expands_filename).
'$yap_system_flag'(open_shared_object). '$yap_system_flag'(open_shared_object).
'$yap_system_flag'(optimise). '$yap_system_flag'(optimise).