Documentation of CSL
Data Structures | Static Public Member Functions | Static Public Attributes | Friends
csl::Abbrev Class Reference

Data Structures

struct  compareParents
 

Static Public Member Functions

static bool isAnAbbreviation (Expr const &ab)
 
static AbstractParentfind (std::string_view name)
 
static AbstractParentfind (Expr const &abreviation)
 
static AbstractParentfind_opt (std::string_view name)
 
static AbstractParentfind_opt (Expr const &abreviation)
 
static void compressAbbreviations (std::string const &name="")
 
static void printAbbreviations (std::ostream &fout=std::cout)
 
static void printAbbreviations (std::string_view name, std::ostream &fout=std::cout)
 
static void enableEvaluation (std::string_view name)
 
static void disableEvaluation (std::string_view name)
 
static void toggleEvaluation (std::string_view name)
 
static void enableGenericEvaluation (std::string_view name)
 
static void disableGenericEvaluation (std::string_view name)
 
static void toggleGenericEvaluation (std::string_view name)
 
static void enableEvaluation (Expr const &abreviation)
 
static void disableEvaluation (Expr const &abreviation)
 
static void toggleEvaluation (Expr const &abreviation)
 
static csl::IndexStructure getFreeStructure (csl::IndexStructure const &structure)
 
static csl::IndexStructure getFreeStructure (Expr const &expr)
 
static std::optional< ExprfindExisting (std::string_view name, Expr const &encaps)
 
static Expr makeSubAbbrev (std::vector< csl::Expr > const &args, bool isProd)
 
static Expr makeAbbreviation (std::string name, Expr const &encapsulated, bool split=true)
 
static Expr makeAbbreviation (Expr const &encapsulated, bool split=true)
 
static void removeAbbreviations (std::string const &name)
 
template<class ... Args>
static void replace (Args &&...args)
 

Static Public Attributes

static bool avoidDuplicates = true
 
static bool useDichotomy = true
 
static std::map< std::string, size_t > id_name
 

Friends

template<class Base >
class Abbreviation
 

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