C++ (Cpp) Solver::symbolTableの例

コード例 #1

ファイル: example4.cpp プロジェクト: ciaranm/ijcai2016-really-hard-subgraph-isomorphism-paper

	bool onModel(const Clasp::Solver& s, const Clasp::Model& m) {
		printModel(s.symbolTable(), m);
		// exclude this model
		Clasp::LitVec clause;
		for (uint32 i = 1; i <= s.decisionLevel(); ++i) {
			clause.push_back( ~s.decision(i) );
		}
		return m.ctx->commitClause(clause);
	}

コード例 #2

ファイル: example2.cpp プロジェクト: utexas-bwi/clasp

	bool onModel(const Clasp::Solver& s, const Clasp::Model& m) {
		printModel(s.symbolTable(), m);
		return true;
	}