UnCoVer (Using Coverability for Verification)
|
Streamable provides a streaming function which must be implemented by any deriving class. More...
#include <Streamable.h>
Public Member Functions | |
virtual void | streamTo (std::ostream &ost) const =0 |
Streams as string representation of this Streamable object to the given ostream. More... | |
Protected Member Functions | |
Streamable () | |
Creates a new Streamable object. More... | |
virtual | ~Streamable () |
Destroys this Streamable object. | |
Friends | |
std::ostream & | operator<< (std::ostream &ost, uncover::basic_types::Streamable const &data) |
Prints a string representation of this Streamable object to the given stream. More... | |
Streamable provides a streaming function which must be implemented by any deriving class.
It also defines the streaming operator, such that every class derived from Streamable can be streamed by any ostream.
|
inlineprotected |
Creates a new Streamable object.
This constructor renders this class uninstantiable except from subclasses.
|
pure virtual |
Streams as string representation of this Streamable object to the given ostream.
ost | the stream to which the string representation will be written |
Implemented in UQRule, AnonRule, GTS, AnonHypergraph, Rule, and Hypergraph.
|
friend |
Prints a string representation of this Streamable object to the given stream.
ost | the stream to which the Streamable object will be printed |
data | the Streamable object to be streamed |