-
Mike Kremer authored
- Added second implementation of is_satisfied() and gradient_update_factor() in order to grant backwards compatibility. git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@204 1355f012-dd97-4b2f-ae87-10fa9f823a57
2f4c6e49