| Class summary | |
|---|---|
| reordering-search-state | |
| Method summary | |
|---|---|
| cost | reordering-search-state |
| remaining-matching-units | reordering-search-state |
| remaining-source-units | reordering-search-state |
| solution-structure | reordering-search-state |
| Function summary | |
|---|---|
| duplicate-search-state | nss queue |
| find-matching-units | pattern source cost-params |
| reorder-source-units | pattern source cost-params |
| reordering-solution-p | solution-structure |
| search-reordering-solutions | matching-units source-unit-numbers pattern-length cost-params |
| :solution-structure | [Initarg] |
| :remaining-matching-units | [Initarg] |
| :remaining-source-units | [Initarg] |
| :cost | [Initarg] |
Returns and (with setf) changes the cost of the specified reordering-search-state
Returns and (with setf) changes the remaining-source-units of the specified reordering-search-state
Returns and (with setf) changes the remaining-matching-units of the specified reordering-search-state
Input: list of cxn-units as pattern list of transient structure units as source list of cost-paramaters for calculating reordering-cost Returns: list of subsets of source with:
as many units as in pattern
aligned order (matching-units at same place, all combinations of other units)
given pattern and source (lists of fcg-units), and cost-params return:
list of objects with all possibilities for binding units in pattern with source, maximizing number of matching units objects contain: solution-structure, cost and non-matched-units of source
| search-reordering-solutions | matching-units source-unit-numbers pattern-length cost-params | [Function] |
Given an a-list of numbers of matching units, the numbers of units in source, the number of units in the construction and cost params, returns a series of solution states This is implemented as a search process.
solution structure is a solution if it has a non-nil cdr returns true if so, false otherwise