Author: kathrin
Date: Fri Mar 5 13:23:40 2010
New Revision: 5458
URL: http://svn.gna.org/viewcvs/service-tech?rev=5458&view=rev
Log:
* added new class FormulaDummy: An object of this class represents a dummy node
in the formula tree. It avoids that nodes below are deleted by the destructor
call. The dummy node should be introduced if a formula h is generated
temporarily by existing formulas f and g. The call "delete h" will only delete
nodes which are neither part of f nor part of g. Later, delete f/g can be
executed without segmentation faults.
* class Formula: renamed function "modify" into "substitute". Now, the given
formula is not changed by this function. Instead a new formula (with the
substitutions) is returned.
* split Formula.cc into several files (file Formula.cc was to long)
* added test cases for FormulaDummy
* reorganized tests for the graph class. Some function of the graph class could
declared as private, now.
Added:
trunk/safira/src/Formula_substitute.cc
trunk/safira/src/Formula_toCNF.cc
trunk/safira/src/Formula_toString.cc
Modified:
trunk/safira/src/Formula.cc
trunk/safira/src/Formula.h
trunk/safira/src/Graph.cc
trunk/safira/src/Graph.h
trunk/safira/src/GraphComplement.cc
trunk/safira/src/GraphComplement.h
trunk/safira/src/GraphIntersection.cc
trunk/safira/src/GraphIntersection.h
trunk/safira/src/Makefile.am
trunk/safira/src/testFormula.cc
trunk/safira/src/testFormula.h
trunk/safira/src/testGraph.cc
trunk/safira/src/testGraph.h
trunk/safira/src/testmain.cc
trunk/safira/src/types.h
trunk/safira/tests/testsuite.at
--
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.
