Next: Unification functions Up: FUF: the Universal Unifier Previous: Lists of FDs

Reference Manual

For the sake of completeness, this chapter includes a list of all the functions, variables and switches that a user of FUF can manipulate. They are grouped under 8 categories. In each category, the list is sorted alphabetically:

1.: Unification functions
2.: Checking
3.: Tracing
4.: Complexity
5.: Manipulation of the dictionary
6.: Linearization and Morphology
7.: Manipulation of FDs as Data-structures
8.: Fine-tuning of the unifier

Unification functions
- *lexical-categories*
- *u-grammar*
- *cat-attribute*
- u
- u-disjunctions
- uni
- uni-string
- uni-fd
- unif
- u-exhaust
- u-exhaust-top
- uni-num
Checking
- fd-p
- grammar-p
- get-error-pair
- normalize-fd
Tracing
- *all-trace-off*
- *all-trace-on*
- *trace-determine*
- *trace-marker*
- *top*
- all-tracing-flags
- internal-trace-off
- internal-trace-on
- trace-disable
- trace-disable-all
- trace-disable-match
- trace-enable
- trace-enable-all
- trace-enable-match
- trace-off
- trace-on
- trace-determine
- trace-bk-class
- trace-category
Complexity
- avg-complexity
- complexity
Manipulation of the Dictionary
- *dictionary*
- lexfetch
- lexstore
Linearization and Morphology
- call-linearizer
- gap
- morphology-help
Manipulation of FDs as Data-structures
- fd-intersection
- fd-member
- top-fd-to-list
- gdp
- gdpp
- top-gdp
- top-gdpp
- alt-gdp
- list-to-fd
fine tuning of the unifier
- *any-at-unification*
- *use-given*
- *use-any*
- *keep-cset*
- *keep-none*
- *agenda-policy*
Finding the Files
Porting to a New Machine
Packages
Advanced Uses of Patterns
Advanced uses of CSET
Long Distance Dependencies and the GAP feature
Specifying Complex Constraints: the TEST and CONTROL Keywords
Copying vs Conflation: The #{} notation
Dealing with Lists: The Member/Append Example
Representing Lists as FDs
- NIL and variables
- The `~' notation
Environment and Variable Names vs. FD and Path
Procedures vs. Categories, Arguments vs. Constituents
The total FD Includes the Stack of all Computation
Analogy with PROLOG programs
Use of Set Values in Linguistic Applications
Typed Features
The FSET Special Attribute and Typed Constituents
User-defined Types
Limits on Disjunction in Input
Mergeable Constituents in Patterns
Indexing of Alternation
Test and Control
GIVEN and UNDER
EXTERNAL Specifications and Macros
User-defined CAT Parameter
Resource Limited Processing
BK-CLASS Control Specification
WAIT Control Specification
IGNORE Control Specifications
New Features and Modifications in Version 3
New Features and Modification in Version 4
New Features and Modification in Version 5

Michael Elhadad - elhadad@cs.bgu.ac.il