Now things get a bit ugly.
Now things get a bit ugly.

We cannot handle Solvable pointers in SWIG because pointers
are unreliable in sat-solver. Every Pool manipulation might
trigger a re-alloc of internal data, making pointers invalid.
Only Ids are reliable.

So instead of Solvable pointers, we must handle Solvable Ids
and pack them into a XSolvable structure (rename to prevent
name-clash with sat-solvers typedef). A %rename gives us
'Solvable' in the target language, nice !

Remove Id handling functions, they're of no use externally.


openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings