.. index:: toychrdb
.. _toychrdb/0:

.. rst-class:: right

**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:5:2
| **Date:** 2021-01-29

| **Copyright:** Copright 2004 Gregory J. Duck; Copyright 2019 Paulo Moura
| **License:** GNU GPL 2.0 or later version

| **Compilation flags:**
|    ``static, context_switching_calls``


| **Implements:**
|    ``public`` :ref:`expanding <expanding/0>`
| **Uses:**
|    :ref:`list <list/0>`
|    :ref:`user <user/0>`

| **Remarks:**
|    (none)

| **Inherited public predicates:**
|     :ref:`expanding/0::goal_expansion/2`  :ref:`expanding/0::term_expansion/2`  

.. contents::
   :local:
   :backlinks: top

Public predicates
-----------------

.. raw:: html

   <div id="chr_is/2"> </div>

.. index:: chr_is/2
.. _toychrdb/0::chr_is/2:

``chr_is/2``
^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_trace/0"> </div>

.. index:: chr_trace/0
.. _toychrdb/0::chr_trace/0:

``chr_trace/0``
^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_notrace/0"> </div>

.. index:: chr_notrace/0
.. _toychrdb/0::chr_notrace/0:

``chr_notrace/0``
^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_spy/1"> </div>

.. index:: chr_spy/1
.. _toychrdb/0::chr_spy/1:

``chr_spy/1``
^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_nospy/0"> </div>

.. index:: chr_nospy/0
.. _toychrdb/0::chr_nospy/0:

``chr_nospy/0``
^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_no_spy/1"> </div>

.. index:: chr_no_spy/1
.. _toychrdb/0::chr_no_spy/1:

``chr_no_spy/1``
^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_option/2"> </div>

.. index:: chr_option/2
.. _toychrdb/0::chr_option/2:

``chr_option/2``
^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

Protected predicates
--------------------

.. raw:: html

   <div id="current_prog/1"> </div>

.. index:: current_prog/1
.. _toychrdb/0::current_prog/1:

``current_prog/1``
^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``static``


------------

.. raw:: html

   <div id="chr_option_print_trace/0"> </div>

.. index:: chr_option_print_trace/0
.. _toychrdb/0::chr_option_print_trace/0:

``chr_option_print_trace/0``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_trace_interactive/0"> </div>

.. index:: chr_option_trace_interactive/0
.. _toychrdb/0::chr_option_trace_interactive/0:

``chr_option_trace_interactive/0``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_optimization_level/1"> </div>

.. index:: chr_option_optimization_level/1
.. _toychrdb/0::chr_option_optimization_level/1:

``chr_option_optimization_level/1``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_show_stack/0"> </div>

.. index:: chr_option_show_stack/0
.. _toychrdb/0::chr_option_show_stack/0:

``chr_option_show_stack/0``
^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_show_store/0"> </div>

.. index:: chr_option_show_store/0
.. _toychrdb/0::chr_option_show_store/0:

``chr_option_show_store/0``
^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_show_history/0"> </div>

.. index:: chr_option_show_history/0
.. _toychrdb/0::chr_option_show_history/0:

``chr_option_show_history/0``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_show_id/0"> </div>

.. index:: chr_option_show_id/0
.. _toychrdb/0::chr_option_show_id/0:

``chr_option_show_id/0``
^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_option_allow_deep_guards/0"> </div>

.. index:: chr_option_allow_deep_guards/0
.. _toychrdb/0::chr_option_allow_deep_guards/0:

``chr_option_allow_deep_guards/0``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_next_state/1"> </div>

.. index:: chr_next_state/1
.. _toychrdb/0::chr_next_state/1:

``chr_next_state/1``
^^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

.. raw:: html

   <div id="chr_spy_point/1"> </div>

.. index:: chr_spy_point/1
.. _toychrdb/0::chr_spy_point/1:

``chr_spy_point/1``
^^^^^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

Private predicates
------------------

.. raw:: html

   <div id="chr_rule_/1"> </div>

.. index:: chr_rule_/1
.. _toychrdb/0::chr_rule_/1:

``chr_rule_/1``
^^^^^^^^^^^^^^^

| **Compilation flags:**
|    ``dynamic``


------------

Operators
---------

(none)

