unicode_symbols::LogSym Struct Reference

#include <vic_strings.hpp>

Static Public Attributes
static std::string	neg = std::string("\u00ac")
static std::string	unicode_space = std::string("\u00a0")
static std::string	or_sym = std::string("\u22c1")
static std::string	and_sym = std::string("\u22c0")
static std::string	true_sym = std::string("\u22a4")
static std::string	false_sym = std::string("\u22a5")
static std::string	forall = std::string("\u2200")
static std::string	exists = std::string("\u2203")
static std::string	ifthen = std::string("\u2192")
static std::string	iff = std::string("\u2194")

Detailed Description

Codes needed to display logical symbols in terminal output.

Definition at line 44 of file vic_strings.hpp.

Member Data Documentation

and_sym

std::string unicode_symbols::LogSym::and_sym = std::string("\u22c0")

static

Definition at line 48 of file vic_strings.hpp.

exists

std::string unicode_symbols::LogSym::exists = std::string("\u2203")

static

Definition at line 52 of file vic_strings.hpp.

false_sym

std::string unicode_symbols::LogSym::false_sym = std::string("\u22a5")

static

Definition at line 50 of file vic_strings.hpp.

forall

std::string unicode_symbols::LogSym::forall = std::string("\u2200")

static

Definition at line 51 of file vic_strings.hpp.

iff

std::string unicode_symbols::LogSym::iff = std::string("\u2194")

static

Definition at line 54 of file vic_strings.hpp.

ifthen

std::string unicode_symbols::LogSym::ifthen = std::string("\u2192")

static

Definition at line 53 of file vic_strings.hpp.

neg

std::string unicode_symbols::LogSym::neg = std::string("\u00ac")

static

Definition at line 45 of file vic_strings.hpp.

or_sym

std::string unicode_symbols::LogSym::or_sym = std::string("\u22c1")

static

Definition at line 47 of file vic_strings.hpp.

true_sym

std::string unicode_symbols::LogSym::true_sym = std::string("\u22a4")

static

Definition at line 49 of file vic_strings.hpp.

unicode_space

std::string unicode_symbols::LogSym::unicode_space = std::string("\u00a0")

static

Definition at line 46 of file vic_strings.hpp.

---

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

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/utilities/vic_strings.hpp
• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/utilities/vic_strings.cpp