![]() |
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.