Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
repair invariant in MaSh when learning new proofs
authorblanchet
Fri, 18 Oct 2013 13:30:09 +0200
changeset 54149 70456a8f5e6e
parent 54148 c8cc5ab4a863
child 54150 942bb9d9b7a8
repair invariant in MaSh when learning new proofs
src/HOL/Tools/Sledgehammer/MaSh/src/sparseNaiveBayes.py file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/MaSh/src/sparseNaiveBayes.py	Fri Oct 18 10:43:21 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/MaSh/src/sparseNaiveBayes.py	Fri Oct 18 13:30:09 2013 +0200
@@ -78,6 +78,8 @@
             self.counts[dep][0] -= 1
             for f,_w in features.items():
                 self.counts[dep][1][f] -= 1
+                if self.counts[dep][1][f] == 0:
+                    del self.counts[dep][1][f]
 
 
     def overwrite(self,problemId,newDependencies,dicts):
isabelle