Mescal
Loading...
Searching...
No Matches
sep_pol.h
Go to the documentation of this file.
1
6
7#ifndef SEP_POL_H
8#define SEP_POL_H
9
10#include <stdbool.h>
11#include <stdlib.h>
12#include "nfa.h"
13#include "sep_group.h"
14#include "printing.h"
15#include "graphs_tarjan.h"
16#include "nfa_intersec.h"
17
18 /* ____ _ _ ____ _ _ _ */
19 /* / ___| ___ _ __ __ _ _ __ __ _| |_(_) ___ _ __ _ | _ \ ___ | |_ _ _ __ ___ _ __ ___ (_) __ _| | */
20 /* \___ \ / _ \ '_ \ / _` | '__/ _` | __| |/ _ \| '_ \‍(_) | |_) / _ \| | | | | '_ \ / _ \| '_ ` _ \| |/ _` | | */
21 /* ___) | __/ |_) | (_| | | | (_| | |_| | (_) | | | |_ | __/ (_) | | |_| | | | | (_) | | | | | | | (_| | | */
22 /* |____/_\___| .__/ \__,_|_| \__,_|\__|_|\___/|_| |_(_) |_| \___/|_|\__, |_| |_|\___/|_| |_| |_|_|\__,_|_| */
23 /* ___| | __|_|___ _ _ _ __ ___ |___/ */
24 /* / __| |/ _ \/ __| | | | '__/ _ \ */
25 /* | (__| | (_) \__ \ |_| | | | __/ */
26 /* \___|_|\___/|___/\__,_|_| \___| */
27
28
29
42bool decid_polst_sep(nfa*,
43 nfa*,
44 bool,
45 FILE*
46);
47
60bool decid_polmod_sep(nfa*,
61 nfa*,
62 bool,
63 FILE*
64);
65
78bool decid_polgr_sep(nfa*,
79 nfa*,
80 bool,
81 FILE*
82);
83
84#endif
graphs_tarjan.h
Implementation of Tarjan's algorithm.
nfa.h
Implementation of NFAs.
nfa_intersec.h
Intersection of NFAs.
sep_group.h
Separation by group languages.
decid_polst_sep
bool decid_polst_sep(nfa *, nfa *, bool, FILE *)
Pol(ST)-separation.
Definition sep_pol.c:42
decid_polmod_sep
bool decid_polmod_sep(nfa *, nfa *, bool, FILE *)
Pol(MOD)-separation.
Definition sep_pol.c:120
decid_polgr_sep
bool decid_polgr_sep(nfa *, nfa *, bool, FILE *)
Pol(GR)-separation.
Definition sep_pol.c:210
nfa
Type used to represent a NFA.
Definition nfa.h:43