M - 翻译布尔表达式

Description
大家都学过了布尔表达式的翻译，其中有一个拉链－回填技术，这次我们就练习这个技术。

Input
输入为一行字符串，例如： a < b or c < d and e < f
每个符号都用空格间隔。
其中逻辑运算符包含 and 和 or ， 关系运算符包含 < 、> 、<= 、 >= 、== 、 != 。
Output
假链跳到０，真链跳到１，表达式序号从100开始排。

Sample
Input

a < b or c < d and e < f

Output

100(j<,a,b,1)
101(j,_,_,102)
102(j<,c,d,104)
103(j,_,_,0)
104(j<,e,f,100)
105(j,_,_,103)

分析：

图中有三个黑框，三个黑框内各含有一个蓝框，三个黑框内的内容相同

先看三个黑框之间的关系，也就是or和end的表示方法：
由于 and 优先级比 or 高，所以在遇到 or 之前，把所有的东西都存入缓冲区。
Falselist初值设为100，
由于false拉链的特点，所以每次遇到 and 就把Falselist+2，最后遇到or再+2，（+2是因为会有两个生成式）才能得到本次Falselist的值。
(拉链准备)
True初值设为1，生成完表达式后将True变为此时表达式的id。（回填准备）

遇到or和end的区别就在于：遇到end后，缓冲区里的Falselist取值为0

再看黑框里面：

蓝框里，也就是黑框里除去最后一组x<y，
先让False=Falselist（拉链）
生成完true表达式后都继续向后看一个id；
生成完false表达式后都把False设置为自己的id（回填），然后继续向后看一个id；

最后一组x<y，
生成完true表达式后把True设置为自己的id（回填），然后继续向后看一个id；
生成完false表达式后只是继续向后看一个id，没有将False设置为自己的id（不需要回填）

#include <bits/stdc++.h>
using namespace std;
int main()
{
    string s,str;
    vector<string> t;
    int False=0,Falselist=100,True=1,i,id=100;
    getline(cin,str);
    str+=" end";
    stringstream ss(str);
    while(ss>>s)
    {
        if(s=="or"||s=="end")
        {
            if(s=="or")Falselist+=2;
            else Falselist=0;
            False=Falselist;
            for(i=0; i<t.size()-3; i+=3)
            {
                printf("%d(j%s,%s,%s,%d)\n",id,t[i+1].c_str(),t[i].c_str(),
                       t[i+2].c_str(),id+2);
                id++;
                printf("%d(j,_,_,%d)\n",id,False);
                False=id;
                id++;
            }
            printf("%d(j%s,%s,%s,%d)\n",id,t[i+1].c_str(),t[i].c_str(),
                   t[i+2].c_str(),True);
            True=id;
            id++;
            printf("%d(j,_,_,%d)\n",id,False);
            id++;
            t.clear();
        }
        else if(s=="and")
        {
            Falselist+=2;
        }
        else t.push_back(s);
    }
    return 0;
}