| 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