Connect++ 0.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Static Public Member Functions | Static Public Attributes | List of all members
ansi_escape_colours::Colour Struct Reference

#include <vic_strings.hpp>

Static Public Member Functions

static std::string name_to_string (const ColourName &)
 

Static Public Attributes

static uint8_t num_colours = 10
 
static std::string nocol = std::string("\033[0m")
 
static std::string red = std::string("\033[38;5;9m")
 
static std::string green = std::string("\033[38;5;10m")
 
static std::string blue = std::string("\033[38;5;12m")
 
static std::string lblue = std::string("\033[38;5;14m")
 
static std::string orange = std::string("\033[38;5;208m")
 
static std::string yellow = std::string("\033[38;5;11m")
 
static std::string purple = std::string("\033[38;5;13m")
 
static std::string grey = std::string("\033[38;5;242m")
 
static std::string lgrey = std::string("\033[38;5;248m")
 

Detailed Description

Codes for colours. These are standard, see:

https://en.wikipedia.org/wiki/ANSI_escape_code

The third digit is 6-bit RGB, 16 + 36R + 6G + B. 0 to 15 are standard colours and the rest (232 to 255) are greyscale.


The documentation for this struct was generated from the following files: