File: Total.md

package info (click to toggle)
curry-tools 1.0.1%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 5,492 kB
  • ctags: 121
  • sloc: makefile: 470; sh: 421
file content (8 lines) | stat: -rw-r--r-- 336 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
 
Totally definedness analysis
----------------------------

This analysis assigns to each operation a flag which is `True`
if this operation is completely defined on its input types,
i.e., reducible for all ground data terms.
Thus, an operation is totally defined if it is pattern complete
and depends only on totally defined functions.