| Method summary | |
|---|---|
| anti-unify | pattern source (mode (eql :fcg)) &optional (pattern-bindings +no-bindings+) (source-bindings +no-bindings+) &key (cost-params (quote ((equality 0) (non-matching-unit 10) (subst-from-bindingslist 0) (source-variable-pattern-in-bindingslist 1) (replace-by-new-var depth-of-replaced-pattern 1) (discarded-feature 5) (discarded-negated-feature 4)))) |
| Function summary | |
|---|---|
| anti-unify-fcg | pattern source pattern-bindings source-bindings level cost-params |
| anti-unify-fcg-excludes | pattern source accumulator pattern-bindings source-bindings discarded-features cost-params cost |
| anti-unify-fcg-sequence | pattern source accumulator pattern-bindings source-bindings discarded-features level cost-params cost |
| anti-unify-fcg-set | pattern source accumulator pattern-bindings source-bindings discarded-features level cost-params cost |
| anti-unify | pattern source (mode (eql :fcg)) &optional (pattern-bindings +no-bindings+) (source-bindings +no-bindings+) &key (cost-params (quote ((equality 0) (non-matching-unit 10) (subst-from-bindingslist 0) (source-variable-pattern-in-bindingslist 1) (replace-by-new-var depth-of-replaced-pattern 1) (discarded-feature 5) (discarded-negated-feature 4)))) | [Method] |
anti-unifies an fcg-pattern, including special operators and a source. Returns the resulting least general generalisation as well as the binding lists for pattern and source and the cost of the anti-unification (calculated based on cost-params)
| anti-unify-fcg-sequence | pattern source accumulator pattern-bindings source-bindings discarded-features level cost-params cost | [Function] |
anti-unify the elements of a feature