コード例 #1
0
EncodedFormula SchemaEngine::unhashExpr(const std::string& exprHash) const {
    istringstream serial(exprHash);
    EncodedFormula expr;

    size_t exprSize;
    serial >> exprSize;
    expr.reserve(exprSize);

    for (size_t i = 0; i < exprSize; i++) {
        uint32_t id;
        uint32_t arity;
        serial >> id >> arity;
        expr.push_back(encoded_token(id, arity));
    }

    return expr;
}
コード例 #2
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();
}
コード例 #3
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;
    }