A little documentation for RuleMatcher.

reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatcher.kt

@@ -20,7 +20,10 @@ import jetbrains.mps.logic.reactor.core.internal.RuleMatcherImpl
 import jetbrains.mps.logic.reactor.program.Rule
 
 /**
- * Abstracts a rule matching algorithm.  
+ * Abstracts a rule matching algorithm.
+ *
+ * A RuleMatcher corresponds to a single rule.
+ * The method [probe] provides a factory of [RuleMatchingProbe], which is the main handler of match operations.  
  *
  * @author Fedor Isakov
  */

reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/RuleMatcherImpl.kt

@@ -36,6 +36,12 @@ fun IntArray.toSignature() = TIntArrayList(this)
 
 
 /**
+ * This implementation of [RuleMatcher] is based on a simple algorithm which enumerates all possible
+ * permutations of occurrences potentially matching the rule's head.
+ *
+ * Optimizations are in place to cut out permutations that don't fit for the reason that the arguments are mismatched
+ * and/or logical variables are not unifiable with the substitutions calculated previously.
+ *
  * @author Fedor Isakov
  */
 internal class RuleMatcherImpl(private val ruleLookup: RuleLookup,