diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-02-03 19:12:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-03 10:12:03 -0800 |
| commit | ba42c36f00fe40c047121a32117018eb93e0c4b1 (patch) | |
| tree | e3987648e09249968065ed83551a33fb97bc36c2 /LICENSE-MIT | |
| parent | 8be833b2420103ecd2322c13fec0a1f7a8b7d4c5 (diff) | |
| download | spack-ba42c36f00fe40c047121a32117018eb93e0c4b1.tar.gz spack-ba42c36f00fe40c047121a32117018eb93e0c4b1.tar.bz2 spack-ba42c36f00fe40c047121a32117018eb93e0c4b1.tar.xz spack-ba42c36f00fe40c047121a32117018eb93e0c4b1.zip | |
concretizer: simplify "fact" method (#21148)
The "fact" method before was dealing with multiple facts
registered per call, which was used when we were emitting
grounded rules from knowledge of the problem instance.
Now that the encoding is changed we can simplify the method
to deal only with a single fact per call.
Diffstat (limited to 'LICENSE-MIT')
0 files changed, 0 insertions, 0 deletions