Mailinglist Archive: zypp-devel (52 mails)

< Previous Next >
Re: [zypp-devel] Replacing satsolver(C) by libriss(C++)
On Wed, Sep 21, 2011 at 10:19:55AM +0200, Stephan Kulow wrote:
Am Mittwoch, 21. September 2011 schrieb Michael Andres:
Just kidding, but ....
http://gitorious.org/riss

C++ can be so sexy:

vector< vector<int> >formula;

vector<int> clause;
clause.push_back(1);
clause.push_back(-2);
formula. push_back(clause);

clause.clear();
clause.push_back(-1);
clause.push_back(2);

formula. push_back(clause);

And C++11 can even be short:

vector<vector<int>> formula = { { 1, -2 }, { -1, 2 } };

ciao Arvin

--
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx

< Previous Next >
Follow Ups