C++ (Cpp) ModelManager::addModelの例

コード例 #1

ファイル: Tasks.cpp プロジェクト: vonwenm/Minisatid

void addModelToSolution(const std::shared_ptr<Model>& model, const Remapper& remapper, ModelManager& solution, Printer& printer) {
	auto outmodel = new Model();
	outmodel->literalinterpretations = getBackMappedModel(model->literalinterpretations, remapper);
	outmodel->variableassignments = getBackMappedModel(model->variableassignments, remapper);
	solution.addModel(outmodel);
	printer.addModel(outmodel);

}

コード例 #2

ファイル: TaskHelpers.cpp プロジェクト: broesdecat/Minisatid

	void addModelToSolution(const std::shared_ptr<Model>& model, const Remapper& remapper, ModelManager& solution, Printer& printer) {
		auto outmodel = createModel(model, remapper);
		solution.addModel(outmodel);
		printer.addModel(outmodel);
	}