Support for transitive closure maintenance via IncSCC [message #1829784] |
Fri, 10 July 2020 10:26  |
Eclipse User |
|
|
|
Hey,
I'm currently working on patterns which have cyclic recursion. Specifically, I have a pattern which determines reachability: given a person, what are all the rooms this person can reach given he/she has a certain security clearance.
Today, I came across an old paper which discusses the implementation of the computation of the transitive closure in Viatra [1]. Specifically, it explains how DRED and another technique called IncSCC work and how they stack up against each other.
As far as I can see, there is no mentation of an "IncSCC mode" in the documentation nor does there exist something akin to an "IncSCCReteBackendFactory". The only reference I can find is a class called "IncSCCAlg". Am I correct to assume the support for this method of incrementally computing the transitive closure is dropped? If so, out of interest, why has support been dropped? Can I still use it somehow to incrementally keep track of the SCC's?
- Hans
[1] Incremental Pattern Matching for the Efficient Computation of Transitive Closure?
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.27447 seconds