Class | Satsolver::Relation |
In: |
satsolver.i
|
Parent: | Object |
compare | -> | <=> |
Create a new relation inside Pool. Gets a name, plus optionally operand and edition-version-release (evr)
see also: Pool.create_relation