demo/sat-2.in
| author |
kpeter |
|
Mon, 18 Feb 2008 03:30:12 +0000 |
| changeset 2573 |
a9758ea1f01c |
| permissions |
-rw-r--r-- |
Improvements in CycleCanceling.
Main changes:
- Use function parameter instead of #define commands to select negative
cycle detection method.
- Change the name of private members to start with "_".
- Change the name of function parameters not to start with "_".
- Remove unnecessary documentation for private members.
- Doc improvements.