cons-sys.clp | - | constraint management |
cont-sys.clp | - | task control |
deb-sys.clp | - | debugging functions |
inic-sys.clp | - | implicit initialization |
relx-sys.clp | - | constraint relaxation (system part) |
comp-dom.clp | - | component definitions |
cons-dom.clp | - | constraint definitions |
inic-dom.clp | - | parameter initialization |
mode-dom.clp | - | parameter definitions |
modi-dom.clp | - | domain knowledge for the task change |
opti-dom.clp | - | domain knowledge for the task optimize |
rela-dom.clp | - | relations and supporting functions |
relx-dom.clp | - | domain knowledge for the task relax |
solu-dom.clp | - | domain knowledge for the test forsolution existence |