コード例 #1
0
string SchemaEngine::hashExpr(const EncodedFormula& expr) const {
    ostringstream serial;
    serial << expr.size();

    for (const encoded_token_t& tok : expr) {
        serial << " " << tok.id << " " << tok.arity;
    }

    return serial.str();
}
コード例 #2
0
    static inline int test_expr_reducer(const EncodedFormula& expr,
                                        const EncodedFormula& expectedExpr,
                                        uint8_t depth) {
        MeaningDictionary dict = get_meaning_dict();
        SchemaEngine schEng(dict);
        EncodedFormula result = schEng.reduceFormula(expr, depth);

        if (expectedExpr.size() != result.size()) return EXIT_FAILURE;

        for (size_t i = 0; i < result.size(); i++) {
            encoded_token_t expected = expectedExpr[i];
            encoded_token_t returned = result[i];
            if (expected.id != returned.id ||
                    expected.arity != returned.arity) {
                return EXIT_FAILURE;
            }
        }

        return EXIT_SUCCESS;
    }