![]() |
Connect++ 0.4.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 187 of file vic_strings.hpp.
|
inline |
Definition at line 146 of file vic_strings.hpp.
|
inline |
Definition at line 181 of file vic_strings.hpp.
|
inline |
Definition at line 217 of file vic_strings.hpp.
|
inline |
Definition at line 193 of file vic_strings.hpp.
|
inline |
Definition at line 223 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 156 of file vic_strings.hpp.
|
inline |
Make a coloured string using the map.
Does not affect the stored string.
Definition at line 165 of file vic_strings.hpp.
|
inline |
Definition at line 199 of file vic_strings.hpp.
|
inline |
Definition at line 211 of file vic_strings.hpp.
|
inline |
Definition at line 175 of file vic_strings.hpp.
|
inline |
Definition at line 148 of file vic_strings.hpp.
|
inline |
Definition at line 147 of file vic_strings.hpp.
|
inline |
Definition at line 205 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.