toychrdb — Logtalk APIs v3.47.0 documentation

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` expanding
Uses:
list
user
Remarks:
(none)
Inherited public predicates:
goal_expansion/2 term_expansion/2

- Public predicates

  - `chr_is/2`

  - `chr_trace/0`

  - `chr_notrace/0`

  - `chr_spy/1`

  - `chr_nospy/0`

  - `chr_no_spy/1`

  - `chr_option/2`

- Protected predicates

  - `current_prog/1`

  - `chr_option_print_trace/0`

  - `chr_option_trace_interactive/0`

  - `chr_option_optimization_level/1`

  - `chr_option_show_stack/0`

  - `chr_option_show_store/0`

  - `chr_option_show_history/0`

  - `chr_option_show_id/0`

  - `chr_option_allow_deep_guards/0`

  - `chr_next_state/1`

  - `chr_spy_point/1`

- Private predicates

  - `chr_rule_/1`

- Operators

## 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)