コード例 #1
0
ファイル: main.cpp プロジェクト: innoink/bjtu_projects
int main()
{
#define TEST_CNT 2
    FILE *ifps[TEST_CNT];
    FILE *ofps[TEST_CNT];

    char in[128], out[128];

    for (int i = 0; i < TEST_CNT; i++) {
        sprintf(in, "/tmp/byyl/test4_%d.in", i + 1);
        ifps[i] = fopen(in, "r");
        check_fopen(ifps[i], in);
    }
    for (int i = 0; i < TEST_CNT; i++) {
        sprintf(out, "/tmp/byyl/test4_%d.out", i + 1);
        ofps[i] = fopen(out, "w");
        check_fopen(ofps[i], out);
    }
    for (int i = 0; i < Vn_COUNT; i++) {
        Vs[i].V = Vn_table[i];
    }
    for (int i = 0; i < Vt_COUNT; i++) {
        OPG_matrix_head[i] = Vt_table[i];
    }
    OPG_matrix_head[Vt_COUNT] = EOI;
    firstVT();
    print_firstVT();
    lastVT();
    print_lastVT();
    make_OPG_matrix();
    print_OPM();
    make_prec_func();
    print_pf();
    for (int i = 0; i < TEST_CNT; i++) {
        if (OPG_parser(ifps[i])) {
            fprintf(ofps[i], "true");
        } else {
            fprintf(ofps[i], "false");
        }
        fclose(ifps[i]);
        fclose(ofps[i]);
    }
    return 0;
}
コード例 #2
0
ファイル: LFSCProof.cpp プロジェクト: clconway/cvc3-debian
void LFSCProof::print( std::ostream& s, int ind ){
  LFSCProof* p = rplProof ? rplProof : lambdaPrintMap[this];
  if( p ){
    p->print( s, ind );
  }else{
    if( lambdaMap.find( this )!=lambdaMap.end() && printCounter>0 ){
      print_warning( "Warning: printing out lambda abstracted proof more than once");
#ifdef IGNORE_PRINT_MULTI_LAMBDA
      return;
#endif
    }
    //if( printCounter>0 ){
    //  return;
    //}
    printCounter++;
    indent( s, ind );
    print_pf( s, ind );
  }
}