[ Reference Manual | Alphabetic Index ]

Development Tools

asm
Assemble and disassemble predicates
Predicate Database and Compiler
Built-ins for creation of handling of executable code
coverage
Tool for obtaining code coverage information
cpviz
Wrapper library, subsuming all of CP-Viz
Debugging
Built-ins and command related to debugging
document
Tools for generating documentation from ECLiPSe sources
Development Environment and Global Settings
Built-ins related to the development environment
fcompile
ECLiPSe III compiler - backward compatibility
fd_prop_test_util
Tools for testing global constraints
ic_prop_test_util
Tools for testing global constraints
instprofile
Instrumentation / sampling based statistics profiler
instrument
Generic tool for code instrumentation
lint
Heuristic program checker
lips
Measure the system's speed using the naive reverse benchmark
mode_analyser
Instrumentation based mode analyser
port_profiler
Port Counting Profiler
pretty_print
Pretty-printing of complex terms
pretty_printer
This library pretty-prints a file in different formats.
profile
Profiling package for ECLiPSe programs
remote_tools
Allow the Tk development tools to be used remotely
source_processor
Tools for processing ECLiPSe sources
spell
Predicate name spelling correction
test_util
Utilities for automated program tests
time_log
Module for logging and collating test times
toplevel
Interactive ECLiPSe toplevel interpreter
vc_support
Library to support implementation of visualisation clients
viewable
Module for the management of viewables: arrays for visualisation
vis_structures
Structure definition for visualization
visualization
Definition of the log format for constraint and variable visualizers
visualize_tree
Entry point for VIZ visualisation tools
xref
Cross-referencing tool

Generated 2022-09-03 14:26