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

Go to the source code of this file.

Functions

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

Function Documentation

◆ main()

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

Definition at line 50 of file waut2dot.cpp.

◆ usage()

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

Definition at line 28 of file waut2dot.cpp.

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