chr_runtime.pl
- find_chr_constraint(-Constraint) is nondet
- True when Constraint is a currently known constraint in any known CHR module.
- current_chr_constraint(:Constraint) is nondet
- True if Constraint is a constraint associated with the qualified module.
- chr module(?Module)
- True when Module is a CHR module. The first clause deals with normal modules. The second with temporary modules, which are not allowed to generate clauses for chr:'$chr_module'/1.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- chr not_error_locked(Arg1)
- chr not_locked(Arg1)
- chr newvia_2(Arg1, Arg2, Arg3)
- chr via_1(Arg1, Arg2)
- chr select(Arg1, Arg2, Arg3)
- chr insert_constraint_internal(Arg1, Arg2, Arg3, Arg4, Arg5)
- chr default_store(Arg1)
- chr chr_indexed_variables(Arg1, Arg2)
- chr gen_id(Arg1)
- chr_leash(Arg1)
- chr run_suspensions(Arg1)
- chr create_mutable(Arg1, Arg2)
- chr none_error_locked(Arg1)
- chr_trace
- chr none_locked(Arg1)
- chr newvia(Arg1, Arg2)
- chr via_2(Arg1, Arg2, Arg3)
- chr activate_constraint(Arg1, Arg2, Arg3)
- chr run_suspensions_loop_d(Arg1)
- chr all_suspensions(Arg1, Arg2, Arg3)
- chr merge_attributes(Arg1, Arg2, Arg3)
- chr debugging
- chr novel_production(Arg1, Arg2)
- chr_notrace
- chr update_mutable(Arg1, Arg2)
- chr error_lock(Arg1)
- chr lock(Arg1)
- chr via(Arg1, Arg2)
- chr allocate_constraint(Arg1, Arg2, Arg3, Arg4)
- chr run_suspensions_d(Arg1)
- chr new_merge_attributes(Arg1, Arg2, Arg3)
- chr_show_store(Arg1)
- chr debug_event(Arg1)
- chr sbag_del_element(Arg1, Arg2, Arg3)
- chr extend_history(Arg1, Arg2)
- chr get_mutable(Arg1, Arg2)
- chr unerror_lock(Arg1)
- chr unlock(Arg1)
- chr newvia_1(Arg1, Arg2)
- chr remove_constraint_internal(Arg1, Arg2)
- chr run_suspensions_loop(Arg1)
- chr normalize_attr(Arg1, Arg2)
- chr debug command(Arg1, Arg2)
- chr empty_history(Arg1)