![]() |
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
Simple addition of colour to strings and ostreams. More...
#include <vic_strings.hpp>
Public Member Functions | |
ColourString (bool uc) | |
bool | get_use_colours () const |
void | set_use_colours (bool b) |
void | set_map (uint8_t i, ColourName colour) |
ColourString | operator() (const string &_s) |
string | operator() (const string &_s, size_t num) |
string | red () |
string | green () |
string | blue () |
string | lblue () |
string | orange () |
string | yellow () |
string | purple () |
string | grey () |
string | lgrey () |
Private Attributes | |
uint8_t | num_colours |
bool | use_colours |
std::vector< ColourName > | map |
string | s |
Simple addition of colour to strings and ostreams.
The format is:
cout << col("Hello").red() ...;
Also incorporates a map allowing the format:
col.set_map(2, ColourName::PURPLE); cout << col("Hello", 2) << ...
so that assignment of colours can easily be changed
Definition at line 118 of file vic_strings.hpp.
|
inline |
Definition at line 125 of file vic_strings.hpp.
|
inline |
Definition at line 186 of file vic_strings.hpp.
|
inline |
Definition at line 145 of file vic_strings.hpp.
|
inline |
Definition at line 180 of file vic_strings.hpp.
|
inline |
Definition at line 216 of file vic_strings.hpp.
|
inline |
Definition at line 192 of file vic_strings.hpp.
|
inline |
Definition at line 222 of file vic_strings.hpp.
|
inline |
This sets the member string. The idea is to allow other methods to add the colour to it.
Definition at line 155 of file vic_strings.hpp.
|
inline |
Make a coloured string using the map.
Does not affect the stored string.
Definition at line 164 of file vic_strings.hpp.
|
inline |
Definition at line 198 of file vic_strings.hpp.
|
inline |
Definition at line 210 of file vic_strings.hpp.
|
inline |
Definition at line 174 of file vic_strings.hpp.
|
inline |
Definition at line 147 of file vic_strings.hpp.
|
inline |
Definition at line 146 of file vic_strings.hpp.
|
inline |
Definition at line 204 of file vic_strings.hpp.
|
private |
Definition at line 122 of file vic_strings.hpp.
|
private |
Definition at line 120 of file vic_strings.hpp.
|
private |
Definition at line 123 of file vic_strings.hpp.
|
private |
Definition at line 121 of file vic_strings.hpp.