mirror of
https://github.com/mudler/luet.git
synced 2025-06-28 16:28:06 +00:00
ff582ce77c
Compute a minimum conflict set over the uninstall. Adds also tests for specific cases covered by Uninstall now
43 lines
1.3 KiB
Go
43 lines
1.3 KiB
Go
// Copyright © 2019 Ettore Di Giacinto <mudler@gentoo.org>
|
|
//
|
|
// This program is free software; you can redistribute it and/or modify
|
|
// it under the terms of the GNU General Public License as published by
|
|
// the Free Software Foundation; either version 2 of the License, or
|
|
// (at your option) any later version.
|
|
//
|
|
// This program is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
//
|
|
// You should have received a copy of the GNU General Public License along
|
|
// with this program; if not, see <http://www.gnu.org/licenses/>.
|
|
|
|
package solver
|
|
|
|
import (
|
|
pkg "github.com/mudler/luet/pkg/package"
|
|
)
|
|
|
|
// PackageAssert represent a package assertion.
|
|
// It is composed of a Package and a Value which is indicating the absence or not
|
|
// of the associated package state.
|
|
type PackageAssert struct {
|
|
Package pkg.Package
|
|
Value bool
|
|
}
|
|
|
|
// DecodeModel decodes a model from the SAT solver to package assertions (PackageAssert)
|
|
func DecodeModel(model map[string]bool) ([]PackageAssert, error) {
|
|
ass := make([]PackageAssert, 0)
|
|
for k, v := range model {
|
|
a, err := pkg.DecodePackage(k)
|
|
if err != nil {
|
|
return nil, err
|
|
|
|
}
|
|
ass = append(ass, PackageAssert{Package: a, Value: v})
|
|
}
|
|
return ass, nil
|
|
}
|