annotate regexParser/transition.h @ 177:8de9a33f6ae5 pairPro

change createState aug
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Wed, 23 Dec 2015 17:28:59 +0900
parents c092dd0e1ae0
children 5e8c6857934c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
116
66c633575b53 remove error and warning
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 112
diff changeset
1 #include "bitVector.h"
66c633575b53 remove error and warning
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 112
diff changeset
2
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
3 typedef struct transition {
a3adc5c24e19 start branch
masa
parents:
diff changeset
4 CharClassPtr condition;
a3adc5c24e19 start branch
masa
parents:
diff changeset
5 struct transition *next;
116
66c633575b53 remove error and warning
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 112
diff changeset
6 } Transition, *TransitionPtr;
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
7
a3adc5c24e19 start branch
masa
parents:
diff changeset
8 typedef struct state {
175
3be0fbcd4b52 implement createTransitionGenerator
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
9 BitVector bitState;
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
10 TransitionPtr transition;
173
masa
parents: 172
diff changeset
11 NodePtr nextNode;
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
12 struct state *next;
116
66c633575b53 remove error and warning
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 112
diff changeset
13 } State, *StatePtr;
140
84a2a5209d3a change some variable name
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 116
diff changeset
14
177
8de9a33f6ae5 change createState aug
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 176
diff changeset
15 StatePtr createState(BitVector bi);
176
c092dd0e1ae0 implement appendState() and serchState()
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 175
diff changeset
16 StatePtr appendState(StatePtr x,StatePtr y);
172
540fc12871d9 remove some warnings and errors (not working)
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 169
diff changeset
17 TransitionPtr createTransition(CharClassPtr cc, BitVectorPtr state);
140
84a2a5209d3a change some variable name
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 116
diff changeset
18 TransitionPtr appendTransition0(TransitionPtr curr,TransitionPtr next);
84a2a5209d3a change some variable name
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 116
diff changeset
19 TransitionPtr appendTransition(TransitionPtr curr,TransitionPtr next);
84a2a5209d3a change some variable name
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 116
diff changeset
20
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
21 /*
a3adc5c24e19 start branch
masa
parents:
diff changeset
22 正規表現木を辿って transition のList をつくる
112
ec485345daf9 some function use static
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 110
diff changeset
23 CharClass のかさなりを判定して重なりのない新しいCharClassをつくる
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
24 重なっている状態はbitvectorのorをとる
a3adc5c24e19 start branch
masa
parents:
diff changeset
25 重なっている状態はそれぞれの状態について木をたどる
112
ec485345daf9 some function use static
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 110
diff changeset
26
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
27 nextState == 0 は正規表現の末端を表す
a3adc5c24e19 start branch
masa
parents:
diff changeset
28 nextState == 1 は受理状態を表す
a3adc5c24e19 start branch
masa
parents:
diff changeset
29 正規表現のノードの番号 n に対応する 2^n のbitをセットした状態
112
ec485345daf9 some function use static
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 110
diff changeset
30
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
31 | の場合は両方のListを結合する
a3adc5c24e19 start branch
masa
parents:
diff changeset
32 + の場合は左のノードに * がある場合は右のリストも結合する
112
ec485345daf9 some function use static
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 110
diff changeset
33 左のノードに*がない場合は、右のほうだけみる
110
a3adc5c24e19 start branch
masa
parents:
diff changeset
34 * は直下のリストを使って、次の状態を自分自身にする
a3adc5c24e19 start branch
masa
parents:
diff changeset
35 */