wrench::NoScratchSpace

class wrench::NoScratchSpace : public wrench::FailureCause

A “no scratch space” failure cause.

Public Functions

NoScratchSpace(std::string error)

Constructor.

Parameters: error – error message

virtual std::string toString() override

Get the human-readable failure message.

Returns: the message