Author: kathrin
Date: Mon Aug 23 15:04:44 2010
New Revision: 6083

URL: http://svn.gna.org/viewcvs/service-tech?rev=6083&view=rev
Log:
* true in der Annotation wird jetzt bei der minimalen DNF richtig 
beruecksichtigt
* dnf angepasst, so dass bei true als minimale DNF, die Testfaelle richtig 
berechnet werden
* einige Compilerwarnungen behoben


Modified:
    trunk/tess/src/Formula.cc
    trunk/tess/src/Formula_toDNF.cc
    trunk/tess/src/Graph.cc
    trunk/tess/src/Graph.h
    trunk/tess/src/helpers.cc
    trunk/tess/src/testFormula.cc


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
[email protected]. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.

Reply via email to