28 : sat::Solvable( solvable_r )
A Solvable object within the sat Pool.
Resolvable(const sat::Solvable &solvable_r)
Ctor.
PoolItem poolItem() const
Access the corresponding PoolItem.
const sat::Solvable & satSolvable() const
Access the corresponding ::Solvable.
virtual std::ostream & dumpOn(std::ostream &str) const
Helper for stream output.
virtual ~Resolvable()
Dtor.
Reference to a PoolItem connecting ResObject and ResStatus.