Documentation of MARTY
A Modern ARtificial Theoretical phYsicist
Data Structures
checkpoint.h File Reference

Contains checkpoints for doc brown's debugger procedure. More...

#include <vector>
#include <string>
#include <string_view>
#include <iostream>
#include <type_traits>
#include <memory>
#include <cxxabi.h>
#include "csl.h"
#include "fileData.h"
#include "mtyversion.h"
#include "csldatahandler.h"
#include "std_vector_implementation.h"

Go to the source code of this file.

Data Structures

class  mty::doc::CheckPoint_Base
 
class  mty::doc::CheckPoint_Implementation< ValueType >
 
class  mty::doc::CheckPoint< ValueType >
 
class  mty::doc::CheckPoint< csl::Expr >
 

Detailed Description

Contains checkpoints for doc brown's debugger procedure.

Author
Grégoire Uhlrich
Version
1.3
Date
2021-05-06