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