small changes

Author: yamilsaer

algorithms/tearing/tearing_impl.cpp

@@ -59,21 +59,22 @@ TearingData TearingV1::calculate(const DSBG& dsbg)
   Set e_scc = dsbg_.E().difference(e_notscc);
   while (!e_notscc.isEmpty())  {
     PWMap rmap = result.rmap();
+    Set v_tear = rmap.image().difference(rmap.fixedPoints());
     Set v_tear = rmap.image(rmap.sharedImage());
 
     PWMap tearIOMap = PW_FACT.createPWMap(v_tear).offsetImage(maxOffset);
     finalDSBG = finalDSBG.addSV(tearIOMap.image());
     maxOffset = finalDSBG.V().maxElem();
     tearIOMap_ = tearIOMap.combine(tearIOMap_);
-    rmap = rmap.combine(tearIOMap.firstInv());
+    rmap = rmap.combine(tearIOMap.firstInv()); // Separar 
 
     Set e_tear_scc = dsbg_.mapD().restrict(e_scc).preImage(v_tear);
     Set e_tear_notscc = dsbg_.mapB().restrict(e_notscc).preImage(v_tear);
     // PWMap mapB_scc = dsbg_.mapB().restrict(e_scc).composition(rmap); // Necessary?
     PWMap mapD_scc = dsbg_.mapD().restrict(e_tear_scc).composition(tearIOMap);
     PWMap mapB_notscc = dsbg_.mapB().restrict(e_tear_notscc).composition(tearIOMap);
     PWMap mapD_notscc = dsbg_.mapD().restrict(e_notscc).composition(rmap); // Necessary?
-    
+
     finalMapB = mapB_notscc.combine(finalMapB);
     finalMapD = mapD_scc.combine(mapD_notscc).combine(finalMapD);
     dsbg_ = DSBG(finalDSBG.V().compact(), finalDSBG.Vmap().compact()

eval/visitors/expr_evaluator.cpp

@@ -73,6 +73,7 @@ ExprEvaluator::ExprEvaluator(EvalContext& eval_ctx) : eval_ctx_(eval_ctx)
   eval_ctx.insertFunction("sort", BuiltInFunctions::topoSortEvaluator);
   eval_ctx.insertFunction("cut", BuiltInFunctions::cutVertexEvaluator);
   eval_ctx.insertFunction("matchSCC", BuiltInFunctions::matchSCCEvaluator);
+  // agregar funciones
 }
 
 ExprBaseType ExprEvaluator::operator()(AST::Natural v) const

eval/visitors/func_evaluator.cpp

@@ -22,6 +22,7 @@
 #include "algorithms/matching/matching_fact.hpp"
 #include "algorithms/misc/causalization_builders.hpp"
 #include "algorithms/scc/scc_fact.hpp"
+#include "algorithms/tearing/tearing_fact.hpp"
 #include "algorithms/toposort/ts_fact.hpp"
 #include "eval/visitors/func_evaluator.hpp"
 #include "util/debug.hpp"
@@ -621,9 +622,10 @@ ExprBaseType BuiltInFunctions::sccEvaluator(const EBTList& args)
     , "sccEvaluator: wrong number of arguments\n");
 
   LIB::SCC scc_impl = LIB::SCC_FACT.createSCCAlgorithm();
+  LIB::Tearing tearing_impl = LIB::TEARING_FACT.createTearingAlgorithm();
   const auto scc_evaluator = Overload {
-    [&scc_impl](LIB::DSBG a) { 
-      return ExprBaseType(scc_impl.calculate(a).rmap());
+    [&tearing_impl](LIB::DSBG a) { 
+      return ExprBaseType(tearing_impl.calculate(a).rmap());
     },
     [](auto a) {
       Util::ERROR("sccEvaluator: wrong argument ", a, " for scc\n");