Parameters
File v5.prm
struct parm{
int nr //tähestiku V pikkus
int tnr //tähestiku VT pikkus
int BRC //0: G on pööratav
int Pnr //Produktsioonide arv
int dep //1: sõltuv kontekst
int itl //identifikaatorite arv
int ktl //konstantide arv
}
nr=130 tnr=59 BRC=1 Pnr=138 dep=1 itl=3 ktl=0
Dictionary T
File v5.t
# INPUT ( graph ) var ; #i# \bigvee_{ \bigwedge_{ \bigoplus_{ odd : even exactlyone atmostone atleastone none eq atmost_{ atleast_{ level_{ \in V( E( \leftarrow \} B^{ } < \leq \prec \prec^+ \prec^* = \ne ' \geq + - * / ^{ #c# |V( )| |E( | min max \sim \oplus \to \vee \& \neg _{ , \{ program family metaformula input bigformula graphnames varnames graphnames1 grkoma graphname varnames1 varkoma variable limits lbra prefpar bigformula1 atmost atleast level formula rate rbra expression limit constraints1 metavariables set graphname1 metavariable arc limexpression lessrel graphbra node nodekoma metavariables1 metakoma length constraints constrkoma constraint conexpression relation expression1 term factor factor1 primary mmbra pexpression maxminkoma aritmpar leftpart clause logterm literal logvar indexes prefixformula logicpar indexes1 index indexkoma formlist formlist1 formkoma x a G DUMMY
Identifiers
File v5.it
127 128 129
Parsing tree
File v5.pt
struct top{
int kood; /* vahekeelne kood */
int leks; /* kui tipp=ident/const, siis selle jrk-nr.*/
int sem; /* semantikakood */
int label; /* kui tipp on märgendatud operaator - märgendi nr */
int truel; /* kompilaator: go to true */
int falsel; /* kompilaator: go to false */
struct top *up; /* puuviidad: üles, */
struct top *right; /* naabrile ja */
struct top *down; /* alluvale */
}
top 00493440: kood=61 leks=0 sem=61 label=0 truel=0 falsel=0 up=00000000 right=00000000 down=00493490
top 00493490: kood=62 leks=0 sem=63 label=0 truel=0 falsel=0 up=00493440 right=00000000 down=004934E0
top 004934E0: kood=64 leks=0 sem=78 label=0 truel=0 falsel=0 up=00493490 right=00000000 down=00492440
top 00492440: kood=12 leks=0 sem=12 label=0 truel=0 falsel=0 up=00000000 right=004923A0 down=00000000
top 004923A0: kood=75 leks=0 sem=194 label=0 truel=0 falsel=0 up=00000000 right=00493990 down=004923F0
top 004923F0: kood=3 leks=0 sem=3 label=0 truel=0 falsel=0 up=004923A0 right=00000000 down=00000000
top 00493990: kood=76 leks=0 sem=89 label=0 truel=0 falsel=0 up=00000000 right=00493940 down=004939E0
top 004939E0: kood=64 leks=0 sem=88 label=0 truel=0 falsel=0 up=00493990 right=00000000 down=00493A30
top 00493A30: kood=80 leks=0 sem=153 label=0 truel=0 falsel=0 up=004939E0 right=00000000 down=00493A80
top 00493A80: kood=113 leks=0 sem=155 label=0 truel=0 falsel=0 up=00493A30 right=00000000 down=00493AD0
top 00493AD0: kood=114 leks=0 sem=157 label=0 truel=0 falsel=0 up=00493A80 right=00000000 down=00493B20
top 00493B20: kood=115 leks=0 sem=159 label=0 truel=0 falsel=0 up=00493AD0 right=00000000 down=00493B70
top 00493B70: kood=116 leks=0 sem=161 label=0 truel=0 falsel=0 up=00493B20 right=00000000 down=00492300
top 00492300: kood=117 leks=0 sem=164 label=0 truel=0 falsel=0 up=00000000 right=004922B0 down=00492350
top 00492350: kood=8 leks=127 sem=8 label=0 truel=0 falsel=0 up=00492300 right=00000000 down=00000000
top 004922B0: kood=57 leks=0 sem=57 label=0 truel=0 falsel=0 up=00000000 right=00493C10 down=00000000
top 00493C10: kood=118 leks=0 sem=165 label=0 truel=0 falsel=0 up=00000000 right=00493BC0 down=00493C60
top 00493C60: kood=121 leks=0 sem=166 label=0 truel=0 falsel=0 up=00493C10 right=00000000 down=00492030
top 00492030: kood=122 leks=0 sem=168 label=0 truel=0 falsel=0 up=00000000 right=00493F80 down=00492080
top 00492080: kood=83 leks=0 sem=131 label=0 truel=0 falsel=0 up=00492030 right=00000000 down=004920D0
top 004920D0: kood=104 leks=0 sem=134 label=0 truel=0 falsel=0 up=00492080 right=00000000 down=00492120
top 00492120: kood=105 leks=0 sem=137 label=0 truel=0 falsel=0 up=004920D0 right=00000000 down=00492170
top 00492170: kood=106 leks=0 sem=139 label=0 truel=0 falsel=0 up=00492120 right=00000000 down=004921C0
top 004921C0: kood=108 leks=0 sem=142 label=0 truel=0 falsel=0 up=00492170 right=00000000 down=00492210
top 00492210: kood=89 leks=0 sem=108 label=0 truel=0 falsel=0 up=004921C0 right=00000000 down=00492260
top 00492260: kood=8 leks=128 sem=8 label=0 truel=0 falsel=0 up=00492210 right=00000000 down=00000000
top 00493F80: kood=123 leks=0 sem=188 label=0 truel=0 falsel=0 up=00000000 right=00493CB0 down=00493FD0
top 00493FD0: kood=58 leks=0 sem=58 label=0 truel=0 falsel=0 up=00493F80 right=00000000 down=00000000
top 00493CB0: kood=121 leks=0 sem=167 label=0 truel=0 falsel=0 up=00493C60 right=00000000 down=00493D00
top 00493D00: kood=122 leks=0 sem=168 label=0 truel=0 falsel=0 up=00493CB0 right=00000000 down=00493D50
top 00493D50: kood=83 leks=0 sem=131 label=0 truel=0 falsel=0 up=00493D00 right=00000000 down=00493DA0
top 00493DA0: kood=104 leks=0 sem=134 label=0 truel=0 falsel=0 up=00493D50 right=00000000 down=00493DF0
top 00493DF0: kood=105 leks=0 sem=137 label=0 truel=0 falsel=0 up=00493DA0 right=00000000 down=00493E40
top 00493E40: kood=106 leks=0 sem=139 label=0 truel=0 falsel=0 up=00493DF0 right=00000000 down=00493E90
top 00493E90: kood=108 leks=0 sem=142 label=0 truel=0 falsel=0 up=00493E40 right=00000000 down=00493EE0
top 00493EE0: kood=89 leks=0 sem=108 label=0 truel=0 falsel=0 up=00493E90 right=00000000 down=00493F30
top 00493F30: kood=8 leks=128 sem=8 label=0 truel=0 falsel=0 up=00493EE0 right=00000000 down=00000000
top 00493BC0: kood=29 leks=0 sem=29 label=0 truel=0 falsel=0 up=00493B70 right=00000000 down=00000000
top 00493940: kood=13 leks=0 sem=13 label=0 truel=0 falsel=0 up=00000000 right=00493580 down=00000000
top 00493580: kood=73 leks=0 sem=95 label=0 truel=0 falsel=0 up=00000000 right=00493530 down=004935D0
top 004935D0: kood=84 leks=0 sem=97 label=0 truel=0 falsel=0 up=00493580 right=00000000 down=00493800
top 00493800: kood=86 leks=0 sem=105 label=0 truel=0 falsel=0 up=00000000 right=004937B0 down=00493850
top 00493850: kood=96 leks=0 sem=107 label=0 truel=0 falsel=0 up=00493800 right=00000000 down=004938A0
top 004938A0: kood=89 leks=0 sem=108 label=0 truel=0 falsel=0 up=00493850 right=00000000 down=004938F0
top 004938F0: kood=8 leks=128 sem=8 label=0 truel=0 falsel=0 up=004938A0 right=00000000 down=00000000
top 004937B0: kood=23 leks=0 sem=23 label=0 truel=0 falsel=0 up=00000000 right=00493760 down=00000000
top 00493760: kood=24 leks=0 sem=24 label=0 truel=0 falsel=0 up=00000000 right=00493670 down=00000000
top 00493670: kood=88 leks=0 sem=103 label=0 truel=0 falsel=0 up=00000000 right=00493620 down=004936C0
top 004936C0: kood=69 leks=0 sem=70 label=0 truel=0 falsel=0 up=00493670 right=00000000 down=00493710
top 00493710: kood=8 leks=129 sem=8 label=0 truel=0 falsel=0 up=004936C0 right=00000000 down=00000000
top 00493620: kood=5 leks=0 sem=5 label=0 truel=0 falsel=0 up=004935D0 right=00000000 down=00000000
top 00493530: kood=5 leks=0 sem=5 label=0 truel=0 falsel=0 up=004934E0 right=00000000 down=00000000