object
toychrdb
Simple CHR interpreter/debugger based on the refined operational semantics of CHRs.
Author: Gregory J. Duck; adapted to Logtalk by Paulo Moura.
Version: 0:6:0
Date: 2021-10-01
Copyright: Copright 2004 Gregory J. Duck; Copyright 2019 Paulo Moura
License: GNU GPL 2.0 or later version
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
Public predicates
chr_is/2
Compilation flags:
staticchr_trace/0
Compilation flags:
staticchr_notrace/0
Compilation flags:
staticchr_spy/1
Compilation flags:
staticchr_nospy/0
Compilation flags:
staticchr_no_spy/1
Compilation flags:
staticchr_option/2
Compilation flags:
staticProtected predicates
current_prog/1
Compilation flags:
staticchr_option_print_trace/0
Compilation flags:
dynamicchr_option_trace_interactive/0
Compilation flags:
dynamicchr_option_optimization_level/1
Compilation flags:
dynamicchr_option_show_stack/0
Compilation flags:
dynamicchr_option_show_store/0
Compilation flags:
dynamicchr_option_show_history/0
Compilation flags:
dynamicchr_option_show_id/0
Compilation flags:
dynamicchr_option_allow_deep_guards/0
Compilation flags:
dynamicchr_next_state/1
Compilation flags:
dynamicchr_spy_point/1
Compilation flags:
dynamicPrivate predicates
chr_rule_/1
Compilation flags:
dynamicOperators
(none)