Did you know ... Search Documentation:
PublicShow source
Source find_chr_constraint(-Constraint) is nondet
True when Constraint is a currently known constraint in any known CHR module.
- current_chr_constraint/1 handles modules.
Source current_chr_constraint(:Constraint) is nondet
True if Constraint is a constraint associated with the qualified module.
Source 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.

Source chr debugging
Source chr run_suspensions_loop(Arg1)
Source chr novel_production(Arg1, Arg2)
Source chr none_error_locked(Arg1)
Source chr none_locked(Arg1)
Source chr_show_store(Arg1)
Source chr not_locked(Arg1)
Source chr newvia_2(Arg1, Arg2, Arg3)
Source chr via_1(Arg1, Arg2)
Source chr remove_constraint_internal(Arg1, Arg2)
Source chr all_suspensions(Arg1, Arg2, Arg3)
Source chr debug_event(Arg1)
Source chr run_suspensions(Arg1)
Source chr extend_history(Arg1, Arg2)
Source chr update_mutable(Arg1, Arg2)
Source chr error_lock(Arg1)
Source chr_leash(Arg1)
Source chr unlock(Arg1)
Source chr newvia_1(Arg1, Arg2)
Source chr default_store(Arg1)
Source chr insert_constraint_internal(Arg1, Arg2, Arg3, Arg4, Arg5)
Source chr new_merge_attributes(Arg1, Arg2, Arg3)
Source chr debug command(Arg1, Arg2)
Source chr merge_attributes(Arg1, Arg2, Arg3)
Source chr empty_history(Arg1)
Source chr get_mutable(Arg1, Arg2)
Source chr_notrace
Source chr unerror_lock(Arg1)
Source chr lock(Arg1)
Source chr via(Arg1, Arg2)
Source chr activate_constraint(Arg1, Arg2, Arg3)
Source chr run_suspensions_loop_d(Arg1)
Source chr normalize_attr(Arg1, Arg2)
Source chr chr_indexed_variables(Arg1, Arg2)
Source chr sbag_del_element(Arg1, Arg2, Arg3)
Source chr gen_id(Arg1)
Source chr create_mutable(Arg1, Arg2)
Source chr_trace
Source chr not_error_locked(Arg1)
Source chr newvia(Arg1, Arg2)
Source chr via_2(Arg1, Arg2, Arg3)
Source chr run_suspensions_d(Arg1)
Source chr allocate_constraint(Arg1, Arg2, Arg3, Arg4)
Source chr select(Arg1, Arg2, Arg3)