import jkind.slicing.DependencySet;
import jkind.solvers.Model;
import jkind.solvers.SimpleModel;
import jkind.translation.Specification;
public class ModelReconstructionEvaluator extends Evaluator {
<BUG>public static void reconstruct(Specification spec, Model model, String property, int k,
</BUG>
boolean concrete) {
<BUG>new ModelReconstructionEvaluator(spec, model, concrete).reconstructValues(property, k);
}</BUG>
private final Specification spec;

import jkind.slicing.DependencySet;
import jkind.solvers.Model;
import jkind.solvers.SimpleModel;
import jkind.translation.Specification;
public class ModelReconstructionEvaluator extends Evaluator {
public static Model reconstruct(Specification spec, Model model, String property, int k,
boolean concrete) {
ModelReconstructionEvaluator eval = new ModelReconstructionEvaluator(spec, model, concrete);
eval.reconstructValues(property, k);
return eval.model;
}
private final Specification spec;
