Program Features
3.5: the features module
Feature Details
The following table lists the labels and symbols for each Feature currently supported in ASDI.
| Language Feature | Label String | Symbol Char |
|---|---|---|
FEATURE_COMPARISONS | “comparisons” | ‘θ’ |
FEATURE_CONSTRAINTS | “constraints” | ‘⇐’ |
FEATURE_DISJUNCTION | “disjunction” | ‘∨’ |
FEATURE_NEGATION | “negation” | ‘￢’ |
FEATURE_FUNCTIONAL_DEPENDENCIES | “functional_dependencies” | ‘⟶’ |