| File | # lines | # units |
|---|
|
|
428 |
44 |
|
285 |
10 |
|
232 |
15 |
|
224 |
6 |
|
222 |
1 |
|
198 |
8 |
RuleIndex.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
179 |
7 |
LogicalImpl.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core/internal |
132 |
5 |
|
117 |
2 |
|
104 |
3 |
|
98 |
8 |
|
95 |
7 |
|
83 |
15 |
Occurrence.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
68 |
2 |
Solver.javain reactor/Core/src/jetbrains/mps/logic/reactor/evaluation |
62 |
13 |
|
55 |
10 |
MatchJournal.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core/internal |
54 |
11 |
|
54 |
7 |
Profiler.ktin reactor/Core/src/jetbrains/mps/logic/reactor/util |
54 |
3 |
|
52 |
10 |
LogicalState.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core/internal |
50 |
4 |
Dispatcher.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
47 |
1 |
Rule.javain reactor/Core/src/jetbrains/mps/logic/reactor/program |
45 |
2 |
BitSet.ktin reactor/Core/src/jetbrains/mps/logic/reactor/util |
45 |
- |
|
36 |
1 |
Symbol.javain reactor/Core/src/jetbrains/mps/logic/reactor/program |
36 |
5 |
Feedback.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
33 |
4 |
Justified.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
32 |
4 |
|
32 |
- |
|
29 |
6 |
|
28 |
4 |
|
28 |
3 |
|
27 |
4 |
|
25 |
- |
|
25 |
18 |
|
25 |
- |
|
22 |
- |
Term.javain reactor/Core/src/jetbrains/mps/unification |
21 |
- |
|
20 |
- |
Invocation.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
19 |
- |
Controller.ktin reactor/Core/src/jetbrains/mps/logic/reactor/core |
18 |
- |
|
16 |
3 |
|
15 |
2 |
|
14 |
- |
|
13 |
- |
|
13 |
- |
|
13 |
- |
|
13 |
3 |
|
13 |
- |
Id.ktin reactor/Core/src/jetbrains/mps/logic/reactor/util |
11 |
1 |