Ignore:
Timestamp:
Oct 4, 2014, 8:40:23 AM (5 years ago)
Author:
nmedfort
Message:

Minor revisions

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/pe_and.cpp

    r4200 r4209  
    1212namespace pablo {
    1313
    14 PabloE * make_and(PabloE * expr1, PabloE *expr2) {
     14PabloE * makeAnd(PabloE * expr1, PabloE *expr2) {
    1515    if (All * all = dyn_cast<All>(expr1)) {
    1616        if (all->getValue()) {
     
    1818        }
    1919        else {
    20             return make_all(0);
     20            return makeAll(0);
    2121        }
    2222    }
     
    2626        }
    2727        else {
    28             return make_all(0);
     28            return makeAll(0);
    2929        }
    3030    }
     
    3434    else if (Not * pe_not_e1 = dyn_cast<Not>(expr1)) {
    3535        if (Not * pe_not_e2 = dyn_cast<Not>(expr2)) {
    36             return make_not(make_or(pe_not_e1->getExpr(), pe_not_e2->getExpr()));
     36            return makeNot(makeOr(pe_not_e1->getExpr(), pe_not_e2->getExpr()));
    3737        }
    3838        else if (equals(pe_not_e1->getExpr(), expr2)) {
    39             return make_all(0);
     39            return makeAll(0);
    4040        }
    4141    }
    4242    else if (Not * pe_not_e2 = dyn_cast<Not>(expr2)) {
    4343        if (equals(expr1, pe_not_e2->getExpr())) {
    44             return make_all(0);
     44            return makeAll(0);
    4545        }
    4646    }
Note: See TracChangeset for help on using the changeset viewer.