Data Fields | |
| int | final_p |
| int | names_num |
| int | patterns_num |
| char ** | names |
| char *** | patterns |
Definition at line 836 of file genautomata.c.
Definition at line 838 of file genautomata.c.
Definition at line 839 of file genautomata.c.
Definition at line 840 of file genautomata.c.
| char ** unit_pattern_rel_decl::names |
Definition at line 841 of file genautomata.c.
| char *** unit_pattern_rel_decl::patterns |
Definition at line 842 of file genautomata.c.
1.5.6