[dlvhex-notify] SF.net SVN: dlvhex:[3563] dlvhex/branches/dlvhex-refactoring/src/ GenuineWellfoundedModelGenerator.cpp

[<chr...@us...>]

Revision: 3563
          http://dlvhex.svn.sourceforge.net/dlvhex/?rev=3563&view=rev
Author:   chrisr86
Date:     2012-02-23 14:57:27 +0000 (Thu, 23 Feb 2012)
Log Message:
-----------
add simple rule for global learning

Modified Paths:
--------------
    dlvhex/branches/dlvhex-refactoring/src/GenuineWellfoundedModelGenerator.cpp

Modified: dlvhex/branches/dlvhex-refactoring/src/GenuineWellfoundedModelGenerator.cpp
===================================================================
--- dlvhex/branches/dlvhex-refactoring/src/GenuineWellfoundedModelGenerator.cpp	2012-02-23 13:44:37 UTC (rev 3562)
+++ dlvhex/branches/dlvhex-refactoring/src/GenuineWellfoundedModelGenerator.cpp	2012-02-23 14:57:27 UTC (rev 3563)
@@ -225,6 +225,8 @@
 
 				if( model == InterpretationPtr() )
 				{
+					globalConflictAnalysis(factory.ctx, factory.idb, solver, true);
+
 					LOG(DBG,"got no answer set -> inconsistent");
 					inconsistent = true;
 					break;

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.