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:1
Date: 2022-05-23
Copyright: Copright 2004 Gregory J. Duck; Copyright 2019 Paulo Moura
License: GNU GPL 2.0 or later version
Compilation flags:
static, context_switching_calls
Remarks:
(none)
Inherited public predicates:
Public predicates
chr_is/2
Compilation flags:
static
chr_trace/0
Compilation flags:
static
chr_notrace/0
Compilation flags:
static
chr_spy/1
Compilation flags:
static
chr_nospy/0
Compilation flags:
static
chr_no_spy/1
Compilation flags:
static
chr_option/2
Compilation flags:
static
Protected predicates
current_prog/1
Compilation flags:
static
chr_option_print_trace/0
Compilation flags:
dynamic
chr_option_trace_interactive/0
Compilation flags:
dynamic
chr_option_optimization_level/1
Compilation flags:
dynamic
chr_option_show_stack/0
Compilation flags:
dynamic
chr_option_show_store/0
Compilation flags:
dynamic
chr_option_show_history/0
Compilation flags:
dynamic
chr_option_show_id/0
Compilation flags:
dynamic
chr_option_allow_deep_guards/0
Compilation flags:
dynamic
chr_next_state/1
Compilation flags:
dynamic
chr_spy_point/1
Compilation flags:
dynamic
Private predicates
chr_rule_/1
Compilation flags:
dynamic
Operators
(none)