use of org.abs_models.frontend.mtvl.ChocoSolver in project abstools by abstools.
the class ProductLineAnalysisHelper method buildAndPrintAllConfigurations.
/*
* Build all SPL configurations (valid feature selections, ignoring attributes), one by one
* The purpose is to measure how long this takes, so we can compare it with the performance of type checking the SPL.
*
*/
public static void buildAndPrintAllConfigurations(Model m) {
long timeSum = 0;
for (Product product : m.getProductList()) {
long time0 = System.currentTimeMillis();
System.out.println("\u23F1 Flattening product: " + product.getFeatureSetAsString());
// Find a solution to the feature model that satisfies the product feature selection
ChocoSolver s = m.instantiateCSModel();
HashSet<Constraint> newcs = new HashSet<>();
product.getProdConstraints(s.vars, newcs);
for (Constraint c : newcs) s.addConstraint(c);
Map<String, Integer> solution = s.getSolution();
System.out.println("\u23F1 Full product configuration: " + solution);
long time1 = System.currentTimeMillis();
// i.e. add attribute assignments to features
for (String fname : solution.keySet()) {
if (// ignore internal ChocoSolver variable
fname.startsWith("$"))
continue;
if (fname.contains(".")) {
String[] parts = fname.split("\\.");
String fid = parts[0];
String aid = parts[1];
Integer val = solution.get(fname);
for (Feature feature : product.getFeatures()) {
if (feature.getName().equals(fid)) {
feature.addAttrAssignment(new AttrAssignment(aid, new IntVal(val)));
break;
}
}
}
}
long time2 = System.currentTimeMillis();
Model thisModel = m.treeCopyNoTransform();
long time3 = System.currentTimeMillis();
thisModel.flattenForProduct(product);
long time4 = System.currentTimeMillis();
timeSum += (time4 - time3);
System.out.println("\u23F1 Time: " + (time1 - time0) + " | " + (time2 - time1) + " | " + (time3 - time2) + " | " + (time4 - time3) + " | " + "Total(s): " + ((time4 - time0) / 1000.0));
}
System.out.println("\u23F1 Flattening total time (s): " + timeSum / 1000.0);
}
use of org.abs_models.frontend.mtvl.ChocoSolver in project abstools by abstools.
the class CheckSPLCommand method analyzeMTVL.
private void analyzeMTVL(Model m) {
if (m.hasMTVL()) {
if (solve) {
if (parent.verbose)
System.out.println("Searching for solutions for the feature model...");
ChocoSolver s = m.instantiateCSModel();
System.out.print(s.getSolutionsAsString());
}
if (minimise != null) {
if (parent.verbose)
System.out.println("Searching for minimum solutions of " + minimise + " for the feature model...");
ChocoSolver s = m.instantiateCSModel();
System.out.print(s.minimiseToString(minimise));
}
if (maximise != null) {
if (parent.verbose)
System.out.println("Searching for maximum solutions of " + maximise + " for the feature model...");
ChocoSolver s = m.instantiateCSModel();
// System.out.print(s.maximiseToInt(product));
s.addConstraint(ChocoSolver.eqeq(s.vars.get(maximise), s.maximiseToInt(maximise)));
ChocoSolver s1 = m.instantiateCSModel();
int i = 1;
while (s1.solveAgain()) {
System.out.println("------ " + (i++) + "------");
System.out.print(s1.getSolutionsAsString());
}
}
if (solveall) {
if (parent.verbose)
System.out.println("Searching for all solutions for the feature model...");
ChocoSolver solver = m.instantiateCSModel();
System.out.print(solver.getSolutionsAsString());
}
if (solveWithProduct != null) {
ProductDecl solveWithDecl = null;
try {
solveWithDecl = m.findProduct(solveWithProduct);
} catch (WrongProgramArgumentException e) {
// nothing to do
}
if (solveWithDecl != null) {
if (parent.verbose)
System.out.println("Searching for solution that includes " + solveWithProduct + "...");
ChocoSolver s = m.instantiateCSModel();
HashSet<Constraint> newcs = new HashSet<>();
solveWithDecl.getProduct().getProdConstraints(s.vars, newcs);
for (Constraint c : newcs) s.addConstraint(c);
System.out.println("checking solution:\n" + s.getSolutionsAsString());
} else {
System.out.println("Product '" + solveWithProduct + "' not found.");
}
}
if (minWith != null) {
ProductDecl minWithDecl = null;
try {
minWithDecl = m.findProduct(minWith);
} catch (WrongProgramArgumentException e) {
// nothing to do
}
if (minWithDecl != null) {
if (parent.verbose)
System.out.println("Searching for solution that includes " + minWith + "...");
ChocoSolver s = m.instantiateCSModel();
HashSet<Constraint> newcs = new HashSet<>();
s.addIntVar("difference", 0, 50);
m.getDiffConstraints(minWithDecl.getProduct(), s.vars, newcs, "difference");
for (Constraint c : newcs) s.addConstraint(c);
System.out.println("checking solution: " + s.minimiseToString("difference"));
} else {
System.out.println("Product '" + minWith + "' not found.");
}
}
if (maxProduct) {
if (parent.verbose)
System.out.println("Searching for solution with maximum number of features ...");
ChocoSolver s = m.instantiateCSModel();
HashSet<Constraint> newcs = new HashSet<>();
s.addIntVar("noOfFeatures", 0, 50);
if (m.getMaxConstraints(s.vars, newcs, "noOfFeatures")) {
for (Constraint c : newcs) s.addConstraint(c);
System.out.println("checking solution: " + s.maximiseToString("noOfFeatures"));
} else {
System.out.println("---No solution-------------");
}
}
if (checkProduct != null) {
ProductDecl checkProductDecl = null;
try {
checkProductDecl = m.findProduct(checkProduct);
} catch (WrongProgramArgumentException e) {
// nothing to do
}
if (checkProductDecl == null) {
System.out.println("Product '" + checkProduct + "' not found, cannot check.");
} else {
ChocoSolver s = m.instantiateCSModel();
Map<String, Integer> guess = checkProductDecl.getProduct().getSolution();
System.out.println("checking solution: " + s.checkSolution(guess, m));
}
}
if (numbersol) {
ChocoSolver s = m.instantiateCSModel();
// did we call m.dropAttributes() previously?
if (ignoreattr) {
System.out.println("Number of solutions found (without attributes): " + s.countSolutions());
} else {
System.out.println("Number of solutions found: " + s.countSolutions());
}
}
}
}
Aggregations