construction-application

Structure summary
cxn-application-result
Method summary
copy-object (car cxn-application-result)
fcg-apply cxn/construction-inventory cfs direction &key &allow-other-keys
left-pole-domain (car cxn-application-result)
left-pole-structure (car cxn-application-result)
match-cxn cxn cfs direction
print-object (car cxn-application-result) stream
right-pole-domain (car cxn-application-result)
right-pole-structure (car cxn-application-result)
Function summary
compute-resulting-cfs car
copy-cxn-application-result cxn-application-result
cxn-application-result-applied-cxn cxn-application-result
cxn-application-result-direction cxn-application-result
cxn-application-result-first-merge-added cxn-application-result
cxn-application-result-first-merge-bindings cxn-application-result
cxn-application-result-first-merge-structure cxn-application-result
cxn-application-result-match-bindings cxn-application-result
cxn-application-result-p object
cxn-application-result-resulting-cfs cxn-application-result
cxn-application-result-second-merge-added cxn-application-result
cxn-application-result-second-merge-bindings cxn-application-result
cxn-application-result-second-merge-structure cxn-application-result
cxn-application-result-source-cfs cxn-application-result
cxn-application-result-status cxn-application-result
get-negations pattern
get-unit-negations pattern
invalid-merge? direction car merge-result &key configuration
make-cxn-application-result &key (status (quote initial)) source-cfs applied-cxn match-bindings first-merge-bindings second-merge-bindings first-merge-structure second-merge-structure first-merge-added second-merge-added resulting-cfs direction
match-poles cxn coupled-feature-structure direction &optional (bindings +no-bindings+)
merge-poles cxn coupled-feature-structure direction &optional (bindings +no-bindings+) source unified configuration second-merge?
merging-pole cxn direction
opposite direction
remove-footprints-feature pattern unit-name
remove-negations-of-added-features list-of-negated-features pattern cxn
select-source cxn pattern source
valid-boundaries? syn-struct
cxn-application-result    [Structure]
cxn-application-result-direction   cxn-application-result  [Function]

Returns and (with setf) changes the direction of the specified cxn-application-result

cxn-application-result-resulting-cfs   cxn-application-result  [Function]

Returns and (with setf) changes the resulting-cfs of the specified cxn-application-result

cxn-application-result-second-merge-added   cxn-application-result  [Function]

Returns and (with setf) changes the second-merge-added of the specified cxn-application-result

cxn-application-result-first-merge-added   cxn-application-result  [Function]

Returns and (with setf) changes the first-merge-added of the specified cxn-application-result

cxn-application-result-second-merge-structure   cxn-application-result  [Function]

Returns and (with setf) changes the second-merge-structure of the specified cxn-application-result

cxn-application-result-first-merge-structure   cxn-application-result  [Function]

Returns and (with setf) changes the first-merge-structure of the specified cxn-application-result

cxn-application-result-second-merge-bindings   cxn-application-result  [Function]

Returns and (with setf) changes the second-merge-bindings of the specified cxn-application-result

cxn-application-result-first-merge-bindings   cxn-application-result  [Function]

Returns and (with setf) changes the first-merge-bindings of the specified cxn-application-result

cxn-application-result-match-bindings   cxn-application-result  [Function]

Returns and (with setf) changes the match-bindings of the specified cxn-application-result

cxn-application-result-applied-cxn   cxn-application-result  [Function]

Returns and (with setf) changes the applied-cxn of the specified cxn-application-result

cxn-application-result-source-cfs   cxn-application-result  [Function]

Returns and (with setf) changes the source-cfs of the specified cxn-application-result

cxn-application-result-status   cxn-application-result  [Function]

Returns and (with setf) changes the status of the specified cxn-application-result

make-cxn-application-result   &key (status (quote initial)) source-cfs applied-cxn match-bindings first-merge-bindings second-merge-bindings first-merge-structure second-merge-structure first-merge-added second-merge-added resulting-cfs direction  [Function]

Returns a newly created cxn-application-result.

copy-cxn-application-result   cxn-application-result  [Function]

Returns a copy of the specified cxn-application-result.

cxn-application-result-p   object  [Function]

Returns T if the specified object is of type cxn-application-result.

fcg-apply   cxn/construction-inventory cfs direction &key &allow-other-keys  [Generic function]
match-cxn   cxn cfs direction  [Generic function]

Tries to match the cxn on the given cfs. Essntially passes functionality to match-poles

print-object   (car cxn-application-result) stream  [Method]
copy-object   (car cxn-application-result)  [Method]
left-pole-structure   (car cxn-application-result)  [Method]
right-pole-structure   (car cxn-application-result)  [Method]
left-pole-domain   (car cxn-application-result)  [Method]
right-pole-domain   (car cxn-application-result)  [Method]
select-source   cxn pattern source  [Function]
match-poles   cxn coupled-feature-structure direction &optional (bindings +no-bindings+)  [Function]
merging-pole   cxn direction  [Function]
merge-poles   cxn coupled-feature-structure direction &optional (bindings +no-bindings+) source unified configuration second-merge?  [Function]
get-negations   pattern  [Function]

returns the negations in a pattern, list per unit, relies on get-unit-negations

get-unit-negations   pattern  [Function]

returns a list of negations in a feature-structure

remove-negations-of-added-features   list-of-negated-features pattern cxn  [Function]

removes the negated features in pattern if they were added in first merge by the same cxn

remove-footprints-feature   pattern unit-name  [Function]

deletes footprints features from unit with 'unit-name' in pattern

compute-resulting-cfs   car  [Function]
opposite   direction  [Function]
valid-boundaries?   syn-struct  [Function]
invalid-merge?   direction car merge-result &key configuration  [Function]