printing.h

#ifndef PRINTING_H
#define PRINTING_H
 
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include "tools.h"
#include "monoid.h"
#include "type_dequeue.h"
#include "nfa.h"
#include "alloc.h"
#include "type_basic.h"
#include "nfa_patterns.h"
 
 
 
/********************************/
/*+ Computation of multi-edges +*/
/********************************/
typedef struct {
    uint in;                          
    bool eps;                         
    dequeue* lab;                     
    dequeue* lab_i;                   
    uint out;                         
} multi_edge;

dequeue_gen* nfa_to_multi_edges(nfa* 
);
 

dequeue_gen* dgraph_to_multi_edges(dgraph* 
);
 
/***********************/
/* Graphviz generation */
/***********************/
 
void named_lgedges_print(dequeue_gen* theedges, nfa* A, FILE* out);
 
void named_dfaedges_print(dequeue_gen* theedges, dfa* A, FILE* out);
 
void named_dedges_print(dequeue_gen* theedges, morphism* M, FILE* out);
 
void dgraphedges_print(dequeue_gen* theedges, FILE* out);
 
void nfa_print(nfa* A, FILE* out);
 
void dfa_print(dfa* A, FILE* out);
 
void dgraph_print(dgraph* g, FILE* out);
 
void cayley_print(morphism* mor, FILE* out);
 
void cayley_left_print(morphism* mor, FILE* out);
 
/****************/
/* Shell output */
/****************/
 
 
void view_nfa(nfa* nfa);
 
void view_dfa(dfa* dfa);
 
void view_dgraph(dgraph* g);
 
void view_cayley(morphism* mor);
 
void view_left_cayley(morphism* mor);
 
void view_image(const char* filename);
 
/********************/
/* Latex generation */
/********************/
 
void latex_init(void);
 
void latex_print_nfa(nfa* A, FILE* out);
 
void latex_print_dfa(dfa* A, FILE* out);
 
void latex_print_cayley(morphism* M, FILE* out);
 
void latex_print_lcayley(morphism* M, FILE* out);
 
 
 
#endif