carl  24.04
Computer ARithmetic Library
carl::GiNaCConversion Class Reference

#include <GiNaCAdaptor.h>

Collaboration diagram for carl::GiNaCConversion:

Static Public Attributes

static std::map< carl::Variable, GiNaC::symbol > vars
 

Detailed Description

Definition at line 10 of file GiNaCAdaptor.h.

Field Documentation

◆ vars

std::map<carl::Variable, GiNaC::symbol> carl::GiNaCConversion::vars
static

Definition at line 12 of file GiNaCAdaptor.h.


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