gen2hoa.cpp File Reference
#include "libfaudes.h"

Go to the source code of this file.

Functions

void usage (std::string msg="")
 
int main (int argc, char *argv[])
 

Variables

TokenReadertgenin =nullptr
 
std::ostream * shoaout =nullptr
 
std::ostream * ssymout =nullptr
 

Function Documentation

◆ main()

int main ( int  argc,
char *  argv[] 
)

Definition at line 53 of file gen2hoa.cpp.

◆ usage()

void usage ( std::string  msg = "")

Definition at line 27 of file gen2hoa.cpp.

Variable Documentation

◆ shoaout

std::ostream* shoaout =nullptr

Definition at line 49 of file gen2hoa.cpp.

◆ ssymout

std::ostream* ssymout =nullptr

Definition at line 50 of file gen2hoa.cpp.

◆ tgenin

TokenReader* tgenin =nullptr

Definition at line 48 of file gen2hoa.cpp.

libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen