22 : _solvable( solvable_r )
A Solvable object within the sat Pool.
Resolvable(const sat::Solvable &solvable_r)
Ctor.
PoolItem poolItem() const
Access the corresponding PoolItem.
IMPL_PTR_TYPE(Application)
virtual std::ostream & dumpOn(std::ostream &str) const
Helper for stream output.
Solvable satSolvable() const
Return the corresponding sat::Solvable.
virtual ~Resolvable()
Dtor.
Combining sat::Solvable and ResStatus.