Test_FsmMatch.cpp

#include <catch2/catch_test_macros.hpp>

#include "aidge/graph/GraphView.hpp"
#include "aidge/operator/Conv.hpp"
#include "aidge/operator/GenericOperator.hpp"
#include "aidge/operator/Producer.hpp"


#include "aidge/graphRegex/GraphFsmInterpreter.hpp"


using namespace Aidge;
TEST_CASE("FsmMatch") {

    SECTION("Construction") {
        std::map<std::string,std::shared_ptr<ConditionalInterpreter>> allTest = {
            {"A",std::make_shared<ConditionalInterpreter>("isConv($)==true")},
            {"B",std::make_shared<ConditionalInterpreter>("isConv($)==true")},
            {"C",std::make_shared<ConditionalInterpreter>("true==true")}
        };

        allTest["A"]->insertLambda("isConv",+[](NodePtr NodeOp){return NodeOp->type() == "Conv";});
        allTest["B"]->insertLambda("isConv",+[](NodePtr NodeOp){return NodeOp->type() == "Conv";});

        std::shared_ptr<GraphFsmInterpreter>  fsmGenerator = std::make_shared<GraphFsmInterpreter>("A#->B",allTest);
        std::shared_ptr<FsmGraph> fsm = fsmGenerator->interpret();


        
        //REQUIRE(fsm->getNodes().size() == 3);
        //REQUIRE(fsm->getStartNodes().size() == 1);

        

        std::shared_ptr<GraphView> g1 = std::make_shared<GraphView>("TestGraph");
        std::shared_ptr<Node> conv = GenericOperator("Conv", 1, 1, 1, "c");
        std::shared_ptr<Node> conv1 = GenericOperator("Conv", 1, 1, 1, "c1");
        std::shared_ptr<Node> conv2 = GenericOperator("Conv", 1, 1, 1, "c2");
        std::shared_ptr<Node> conv3 = GenericOperator("Conv", 1, 1, 1, "c3");
        std::shared_ptr<Node> conv3_5 = GenericOperator("Conv", 1, 1, 1, "c3.5");
        std::shared_ptr<Node> conv4 = GenericOperator("Conv", 1, 1, 1, "c4");
        std::shared_ptr<Node> conv5 = GenericOperator("Conv", 1, 1, 1, "c5");

        g1->add(conv);
        g1->addChild(conv1, "c");


        REQUIRE(allTest["A"]->test(conv) == true);
        REQUIRE(allTest["B"]->test(conv) == true);

        std::vector<std::shared_ptr<Node>> startNodes = {conv};

        fsm->test(startNodes);


        
    }





}