Path	Lines of Code
reactor/Core/src/jetbrains/mps/logic/reactor/core/CompositeFeedback.kt	98
reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt	18
reactor/Core/src/jetbrains/mps/logic/reactor/core/DetailedFeedback.kt	28
reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt	47
reactor/Core/src/jetbrains/mps/logic/reactor/core/EvaluationFailure.kt	20
reactor/Core/src/jetbrains/mps/logic/reactor/core/Feedback.kt	33
reactor/Core/src/jetbrains/mps/logic/reactor/core/Invocation.kt	19
reactor/Core/src/jetbrains/mps/logic/reactor/core/Justified.kt	32
reactor/Core/src/jetbrains/mps/logic/reactor/core/LogicalStateObservable.kt	6
reactor/Core/src/jetbrains/mps/logic/reactor/core/Occurrence.kt	68
reactor/Core/src/jetbrains/mps/logic/reactor/core/OccurrenceMatcher.kt	13
reactor/Core/src/jetbrains/mps/logic/reactor/core/Reactivatable.kt	4
reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleIndex.kt	179
reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatchEx.kt	22
reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatcher.kt	14
reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatchingProbe.kt	13
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt	104
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ControllerImpl.kt	285
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt	95
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/FeedbackStatus.kt	25
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/LogicalImpl.kt	132
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/LogicalState.kt	50
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournal.kt	54
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt	224
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/OccurrenceMatcherImpl.kt	117
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ReteRuleMatcherImpl.kt	428
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/RuleMatchImpl.kt	36
reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/StoreViewImpl.kt	13
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/ConstraintOccurrence.java	10
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/DataProvider.java	27
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFailureException.java	9
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFeedback.java	55
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationResult.java	5
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java	54
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.kt	4
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationTrace.java	25
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/InvocationContext.java	7
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/PredicateInvocation.java	10
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/RuleMatch.java	9
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/Solver.java	62
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/StoreView.java	7
reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/Supervisor.java	28
reactor/Core/src/jetbrains/mps/logic/reactor/logical/Logical.java	9
reactor/Core/src/jetbrains/mps/logic/reactor/logical/Logical.kt	9
reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalContext.java	4
reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalObservable.kt	5
reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalObserver.kt	5
reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalOwner.java	4
reactor/Core/src/jetbrains/mps/logic/reactor/logical/MetaLogical.java	29
reactor/Core/src/jetbrains/mps/logic/reactor/logical/MutableLogical.java	10
reactor/Core/src/jetbrains/mps/logic/reactor/logical/VarSymbol.java	3
reactor/Core/src/jetbrains/mps/logic/reactor/program/AndItem.java	6
reactor/Core/src/jetbrains/mps/logic/reactor/program/Constraint.java	10
reactor/Core/src/jetbrains/mps/logic/reactor/program/ConstraintSymbol.java	13
reactor/Core/src/jetbrains/mps/logic/reactor/program/InvalidConstraintException.java	9
reactor/Core/src/jetbrains/mps/logic/reactor/program/InvalidRuleException.java	9
reactor/Core/src/jetbrains/mps/logic/reactor/program/Predicate.java	4
reactor/Core/src/jetbrains/mps/logic/reactor/program/PredicateSymbol.java	16
reactor/Core/src/jetbrains/mps/logic/reactor/program/Program.java	5
reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java	45
reactor/Core/src/jetbrains/mps/logic/reactor/program/Symbol.java	36
reactor/Core/src/jetbrains/mps/logic/reactor/util/ArrayListStack.kt	5
reactor/Core/src/jetbrains/mps/logic/reactor/util/BitSet.kt	45
reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicIndexedTermTrie.kt	232
reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt	198
reactor/Core/src/jetbrains/mps/logic/reactor/util/Collections.kt	32
reactor/Core/src/jetbrains/mps/logic/reactor/util/DexxCollections.kt	25
reactor/Core/src/jetbrains/mps/logic/reactor/util/Id.kt	11
reactor/Core/src/jetbrains/mps/logic/reactor/util/IndexedTermTrie.kt	13
reactor/Core/src/jetbrains/mps/logic/reactor/util/Profiler.kt	54
reactor/Core/src/jetbrains/mps/logic/reactor/util/TermTrie.kt	9
reactor/Core/src/jetbrains/mps/unification/Substitution.java	83
reactor/Core/src/jetbrains/mps/unification/Term.java	21
reactor/Core/src/jetbrains/mps/unification/TermGraphUnifier.kt	222
reactor/Core/src/jetbrains/mps/unification/TermWrapper.java	15
reactor/Core/src/jetbrains/mps/unification/Unification.kt	52