id: 1
unit: private ConcreteExpression generate()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 179
end line: 708
size: 486 LOC
McCabe index: 163
number of parameters: 4

id: 2
unit: private ConcreteExpression checkInternal()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 356
end line: 570
size: 198 LOC
McCabe index: 63
number of parameters: 6

id: 3
unit: public void declareDefinitions()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 142
end line: 349
size: 196 LOC
McCabe index: 26
number of parameters: 1

id: 4
unit: public TypedExpression solve()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 418
end line: 599
size: 179 LOC
McCabe index: 44
number of parameters: 2

id: 5
unit: public TypedExpression invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 244
end line: 441
size: 162 LOC
McCabe index: 52
number of parameters: 2

id: 6
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 251
end line: 410
size: 148 LOC
McCabe index: 51
number of parameters: 4

id: 7
unit: private static boolean computeCovering()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 296
end line: 443
size: 133 LOC
McCabe index: 31
number of parameters: 4

id: 8
unit: private ConcreteExpression processParameters()
file: meta/src/main/java/org/arend/lib/meta/ExistsMeta.java
start line: 141
end line: 276
size: 128 LOC
McCabe index: 39
number of parameters: 3

id: 9
unit: private ConcreteExpression computeTerm()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 189
end line: 325
size: 127 LOC
McCabe index: 60
number of parameters: 4

id: 10
unit: private Spec getSpec()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 329
end line: 468
size: 123 LOC
McCabe index: 50
number of parameters: 11

id: 11
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 430
end line: 539
size: 90 LOC
McCabe index: 20
number of parameters: 3

id: 12
unit: private List solveEquations()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 172
end line: 264
size: 85 LOC
McCabe index: 27
number of parameters: 2

id: 13
unit: public SubexprOccurrences matchSubexpr()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 149
end line: 248
size: 81 LOC
McCabe index: 24
number of parameters: 4

id: 14
unit: private BasePiTree make()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 46
end line: 133
size: 81 LOC
McCabe index: 18
number of parameters: 3

id: 15
unit: private Hypothesis typeToEquation()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 68
end line: 150
size: 78 LOC
McCabe index: 30
number of parameters: 3

id: 16
unit: public void solve()
file: meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java
start line: 49
end line: 126
size: 75 LOC
McCabe index: 20
number of parameters: 5

id: 17
unit: private ConcreteExpression provePropDataType()
file: meta/src/main/java/org/arend/lib/level/StdLevelProver.java
start line: 82
end line: 159
size: 74 LOC
McCabe index: 21
number of parameters: 5

id: 18
unit: private ConcreteExpression computeTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 94
end line: 170
size: 70 LOC
McCabe index: 21
number of parameters: 2

id: 19
unit: private ConcreteExpression computeTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 801
end line: 871
size: 66 LOC
McCabe index: 22
number of parameters: 2

id: 20
unit: public boolean isApplicable()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 77
end line: 147
size: 65 LOC
McCabe index: 17
number of parameters: 1

id: 21
unit: private boolean makeNegation()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 181
end line: 243
size: 60 LOC
McCabe index: 17
number of parameters: 6

id: 22
unit: public ConcreteExpression resolve()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 47
end line: 106
size: 55 LOC
McCabe index: 27
number of parameters: 4

id: 23
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 294
end line: 384
size: 53 LOC
McCabe index: 5
number of parameters: 3

id: 24
unit: private List getSimplificationRulesForType()
file: meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java
start line: 150
end line: 205
size: 53 LOC
McCabe index: 16
number of parameters: 1

id: 25
unit: private Integer splitIntoSubterms()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 74
end line: 135
size: 53 LOC
McCabe index: 12
number of parameters: 1

id: 26
unit: public List getVarIds()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 412
end line: 471
size: 51 LOC
McCabe index: 18
number of parameters: 1

id: 27
unit: public static List addArguments()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 115
end line: 170
size: 51 LOC
McCabe index: 18
number of parameters: 4

id: 28
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 96
end line: 149
size: 49 LOC
McCabe index: 17
number of parameters: 4

id: 29
unit: public ConcreteExpression simplifyTypeOfExpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java
start line: 227
end line: 307
size: 44 LOC
McCabe index: 11
number of parameters: 3

id: 30
unit: private CompiledTerm removePair()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java
start line: 84
end line: 126
size: 41 LOC
McCabe index: 11
number of parameters: 2

id: 31
unit: public Result visitClassCall()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 240
end line: 284
size: 41 LOC
McCabe index: 16
number of parameters: 2

id: 32
unit: private boolean initializeAlgebraSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 118
end line: 160
size: 40 LOC
McCabe index: 14
number of parameters: 1

id: 33
unit: private boolean typeToRule()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 543
end line: 583
size: 39 LOC
McCabe index: 18
number of parameters: 4

id: 34
unit: private List applyRules()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 587
end line: 627
size: 39 LOC
McCabe index: 12
number of parameters: 3

id: 35
unit: public Result visitArray()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 387
end line: 427
size: 39 LOC
McCabe index: 14
number of parameters: 2

id: 36
unit: public boolean testGlobalInstance()
file: meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java
start line: 37
end line: 78
size: 38 LOC
McCabe index: 15
number of parameters: 1

id: 37
unit: public Result visitApp()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 343
end line: 384
size: 37 LOC
McCabe index: 10
number of parameters: 2

id: 38
unit: private void makeNegationData()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 127
end line: 163
size: 36 LOC
McCabe index: 12
number of parameters: 4

id: 39
unit: public static CoreExpression eval()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 229
end line: 264
size: 36 LOC
McCabe index: 12
number of parameters: 8

id: 40
unit: ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 255
end line: 291
size: 35 LOC
McCabe index: 7
number of parameters: 7

id: 41
unit: public CompiledTerms compileTerms()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 74
end line: 107
size: 34 LOC
McCabe index: 9
number of parameters: 2

id: 42
unit: private record NegationData()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 83
end line: 117
size: 34 LOC
McCabe index: 8
number of parameters: 2

id: 43
unit: public static ConcreteExpression chainOfTransports()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 205
end line: 241
size: 34 LOC
McCabe index: 7
number of parameters: 6

id: 44
unit: private ConcreteExpression resolveArgument1()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 115
end line: 151
size: 32 LOC
McCabe index: 18
number of parameters: 2

id: 45
unit: public static Pair findInstanceWithClassCall()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 268
end line: 300
size: 32 LOC
McCabe index: 10
number of parameters: 6

id: 46
unit: static FunctionMatcher makeFieldMatcher()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/FunctionMatcher.java
start line: 17
end line: 48
size: 31 LOC
McCabe index: 19
number of parameters: 8

id: 47
unit: public List match()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ExpressionFunctionMatcher.java
start line: 33
end line: 63
size: 31 LOC
McCabe index: 8
number of parameters: 1

id: 48
unit: private boolean visitArgs()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 102
end line: 134
size: 31 LOC
McCabe index: 11
number of parameters: 5

id: 49
unit: private static boolean getTupleOfRefs()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 380
end line: 413
size: 31 LOC
McCabe index: 9
number of parameters: 3

id: 50
unit: protected Pair simplifySubexpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java
start line: 27
end line: 57
size: 30 LOC
McCabe index: 9
number of parameters: 1

id: 51
unit: private ConcreteExpression makeConcrete()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 170
end line: 201
size: 30 LOC
McCabe index: 10
number of parameters: 5

id: 52
unit: protected BaseTermCompiler()
file: meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java
start line: 44
end line: 72
size: 29 LOC
McCabe index: 13
number of parameters: 12

id: 53
unit: private CompiledTerm removeVars()
file: meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java
start line: 66
end line: 94
size: 29 LOC
McCabe index: 10
number of parameters: 3

id: 54
unit: private ConcreteExpression makeCoe()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 227
end line: 258
size: 29 LOC
McCabe index: 10
number of parameters: 5

id: 55
unit: public ConcreteExpression makeArgType()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 290
end line: 319
size: 29 LOC
McCabe index: 5
number of parameters: 8

id: 56
unit: public ArgParameters()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 210
end line: 238
size: 29 LOC
McCabe index: 12
number of parameters: 3

id: 57
unit: public static RelationData getRelationData()
file: meta/src/main/java/org/arend/lib/util/RelationData.java
start line: 17
end line: 48
size: 29 LOC
McCabe index: 8
number of parameters: 1

id: 58
unit: public static TypedExpression typecheckWithAdditionalArguments()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 172
end line: 203
size: 29 LOC
McCabe index: 9
number of parameters: 5

id: 59
unit: public TypedExpression invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/FailsMeta.java
start line: 39
end line: 72
size: 28 LOC
McCabe index: 7
number of parameters: 4

id: 60
unit: public ConcreteExpression resolveDefaultClause()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 153
end line: 180
size: 28 LOC
McCabe index: 10
number of parameters: 3

id: 61
unit: private ConcreteExpression proveProp()
file: meta/src/main/java/org/arend/lib/level/StdLevelProver.java
start line: 47
end line: 80
size: 28 LOC
McCabe index: 13
number of parameters: 6

id: 62
unit: public ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 148
end line: 179
size: 27 LOC
McCabe index: 8
number of parameters: 7

id: 63
unit: public TypedExpression invoke()
file: meta/src/main/java/org/arend/lib/meta/util/ReplaceSubexpressionsMeta.java
start line: 31
end line: 57
size: 27 LOC
McCabe index: 11
number of parameters: 2

id: 64
unit: private ConcreteExpression computeMul()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 145
end line: 170
size: 26 LOC
McCabe index: 12
number of parameters: 6

id: 65
unit: private void makeZeroLessVar()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 344
end line: 369
size: 26 LOC
McCabe index: 9
number of parameters: 3

id: 66
unit: private ConcreteExpression makeTransitivityProof()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 329
end line: 354
size: 26 LOC
McCabe index: 8
number of parameters: 3

id: 67
unit: private ConcreteExpression computeNFTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 662
end line: 688
size: 26 LOC
McCabe index: 4
number of parameters: 1

id: 68
unit: public TypedExpression invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/RepeatMeta.java
start line: 69
end line: 97
size: 26 LOC
McCabe index: 7
number of parameters: 4

id: 69
unit: private ConcreteExpression etaExpand()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 260
end line: 288
size: 26 LOC
McCabe index: 9
number of parameters: 7

id: 70
unit: public ConcreteExpression check()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 257
end line: 284
size: 25 LOC
McCabe index: 4
number of parameters: 6

id: 71
unit: private TypedExpression mapMode()
file: meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java
start line: 68
end line: 94
size: 25 LOC
McCabe index: 7
number of parameters: 2

id: 72
unit: public static List computeCovering()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 269
end line: 294
size: 25 LOC
McCabe index: 8
number of parameters: 2

id: 73
unit: private static ReductionStep applyReduction()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 79
end line: 103
size: 25 LOC
McCabe index: 6
number of parameters: 4

id: 74
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/EquationSolverError.java
start line: 68
end line: 94
size: 24 LOC
McCabe index: 8
number of parameters: 1

id: 75
unit: public TypedExpression invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java
start line: 50
end line: 77
size: 23 LOC
McCabe index: 9
number of parameters: 2

id: 76
unit: public GroupRuleBase()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupRuleBase.java
start line: 28
end line: 50
size: 23 LOC
McCabe index: 5
number of parameters: 7

id: 77
unit: private boolean shouldInvertCongrProof()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 198
end line: 225
size: 23 LOC
McCabe index: 6
number of parameters: 2

id: 78
unit: public static List sort()
file: meta/src/main/java/org/arend/lib/util/CountingSort.java
start line: 7
end line: 32
size: 23 LOC
McCabe index: 6
number of parameters: 1

id: 79
unit: public List match()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ListFunctionMatcher.java
start line: 28
end line: 49
size: 22 LOC
McCabe index: 8
number of parameters: 1

id: 80
unit: public ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 211
end line: 233
size: 22 LOC
McCabe index: 3
number of parameters: 7

id: 81
unit: public Poly()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 13
end line: 37
size: 22 LOC
McCabe index: 5
number of parameters: 1

id: 82
unit: private ConcreteExpression nfToRingTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 72
end line: 93
size: 21 LOC
McCabe index: 6
number of parameters: 1

id: 83
unit: protected Pair simplifySubexpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/NegationPropagationRule.java
start line: 33
end line: 53
size: 21 LOC
McCabe index: 8
number of parameters: 1

id: 84
unit: protected Result visit()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 70
end line: 90
size: 21 LOC
McCabe index: 7
number of parameters: 2

id: 85
unit: public ConcreteExpression makeCoe()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 203
end line: 225
size: 21 LOC
McCabe index: 5
number of parameters: 4

id: 86
unit: public static ConcreteExpression normalResolve()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 438
end line: 458
size: 21 LOC
McCabe index: 5
number of parameters: 5

id: 87
unit: private ConcreteExpression traceToExpr()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 629
end line: 648
size: 20 LOC
McCabe index: 3
number of parameters: 4

id: 88
unit: private Result visitInteger()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 136
end line: 156
size: 20 LOC
McCabe index: 7
number of parameters: 3

id: 89
unit: protected List findPath()
file: meta/src/main/java/org/arend/lib/meta/closure/EquivalenceClosure.java
start line: 32
end line: 55
size: 20 LOC
McCabe index: 6
number of parameters: 3

id: 90
unit: private void addToCongrTable()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 249
end line: 268
size: 20 LOC
McCabe index: 7
number of parameters: 2

id: 91
unit: protected boolean checkField()
file: meta/src/main/java/org/arend/lib/key/IrreflexivityKey.java
start line: 25
end line: 47
size: 20 LOC
McCabe index: 6
number of parameters: 1

id: 92
unit: public static Pair findInstanceWithClassCall()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 245
end line: 266
size: 20 LOC
McCabe index: 7
number of parameters: 5

id: 93
unit: private Hypothesis convertHypothesis()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 389
end line: 407
size: 19 LOC
McCabe index: 10
number of parameters: 4

id: 94
unit: public List match()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/DefinitionFunctionMatcher.java
start line: 24
end line: 42
size: 19 LOC
McCabe index: 9
number of parameters: 1

id: 95
unit: private static void getNewBindings()
file: meta/src/main/java/org/arend/lib/meta/UsingMeta.java
start line: 32
end line: 51
size: 19 LOC
McCabe index: 6
number of parameters: 5

id: 96
unit: private void addEqualities()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 317
end line: 339
size: 19 LOC
McCabe index: 4
number of parameters: 1

id: 97
unit: public CasesMeta()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 44
end line: 64
size: 19 LOC
McCabe index: 4
number of parameters: 1

id: 98
unit: public ConcreteExpression resolveArgument()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 89
end line: 107
size: 19 LOC
McCabe index: 5
number of parameters: 2

id: 99
unit: private static ConcretePattern toConcrete()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 25
end line: 45
size: 19 LOC
McCabe index: 7
number of parameters: 4

id: 100
unit: public static List toConcrete()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 52
end line: 70
size: 19 LOC
McCabe index: 14
number of parameters: 6

id: 101
unit: public void load()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 121
end line: 139
size: 19 LOC
McCabe index: 1
number of parameters: 1

id: 102
unit: public void getAllValues()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 118
end line: 136
size: 19 LOC
McCabe index: 11
number of parameters: 5

id: 103
unit: protected List getRelationFields()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 56
end line: 73
size: 18 LOC
McCabe index: 7
number of parameters: 1

id: 104
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 208
end line: 226
size: 18 LOC
McCabe index: 7
number of parameters: 4

id: 105
unit: protected CoreClassField getFieldApplied()
file: meta/src/main/java/org/arend/lib/key/FieldKey.java
start line: 93
end line: 114
size: 18 LOC
McCabe index: 10
number of parameters: 4

id: 106
unit: public static boolean unify()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 190
end line: 210
size: 18 LOC
McCabe index: 14
number of parameters: 4

id: 107
unit: public static  T tryWithSavedState()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 207
end line: 224
size: 18 LOC
McCabe index: 3
number of parameters: 2

id: 108
unit: public static RingKind getTermCompilerKind()
file: meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java
start line: 80
end line: 96
size: 17 LOC
McCabe index: 11
number of parameters: 2

id: 109
unit: public MonoidSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 59
end line: 76
size: 17 LOC
McCabe index: 27
number of parameters: 9

id: 110
unit: public List match()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/NatFunctionMatcher.java
start line: 27
end line: 43
size: 17 LOC
McCabe index: 6
number of parameters: 1

id: 111
unit: static CompiledTerm compile()
file: meta/src/main/java/org/arend/lib/meta/equation/term/CompiledTerm.java
start line: 13
end line: 29
size: 17 LOC
McCabe index: 5
number of parameters: 3

id: 112
unit: private void countVarOccurNums()
file: meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java
start line: 35
end line: 51
size: 17 LOC
McCabe index: 8
number of parameters: 3

id: 113
unit: public Result visitConCall()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 165
end line: 184
size: 17 LOC
McCabe index: 8
number of parameters: 2

id: 114
unit: public Result visitTuple()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 287
end line: 303
size: 17 LOC
McCabe index: 5
number of parameters: 2

id: 115
unit: private ConcreteExpression getConcreteRepresentation()
file: meta/src/main/java/org/arend/lib/meta/RunMeta.java
start line: 34
end line: 50
size: 17 LOC
McCabe index: 6
number of parameters: 2

id: 116
unit: private EqProofOrElement genCongrProof()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 227
end line: 247
size: 17 LOC
McCabe index: 3
number of parameters: 2

id: 117
unit: public W find()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 488
end line: 504
size: 17 LOC
McCabe index: 3
number of parameters: 1

id: 118
unit: private ConcreteExpression computeVal()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 172
end line: 187
size: 16 LOC
McCabe index: 7
number of parameters: 3

id: 119
unit: private ConcreteExpression makeCoeLambda()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 162
end line: 177
size: 16 LOC
McCabe index: 6
number of parameters: 6

id: 120
unit: private ConcreteExpression appendRightNFProof()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 88
end line: 107
size: 16 LOC
McCabe index: 6
number of parameters: 3

id: 121
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 94
end line: 110
size: 16 LOC
McCabe index: 6
number of parameters: 4

id: 122
unit: static ConcreteExpression termToConcrete()
file: meta/src/main/java/org/arend/lib/meta/equation/term/CompiledTerm.java
start line: 31
end line: 46
size: 16 LOC
McCabe index: 6
number of parameters: 4

id: 123
unit: protected Pair simplifySubexpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java
start line: 41
end line: 57
size: 16 LOC
McCabe index: 7
number of parameters: 1

id: 124
unit: protected Pair simplifySubexpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/MultiplicationByZeroRule.java
start line: 26
end line: 42
size: 16 LOC
McCabe index: 7
number of parameters: 1

id: 125
unit: private Set getTransitiveOccurrences()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 270
end line: 288
size: 16 LOC
McCabe index: 5
number of parameters: 1

id: 126
unit: private List getPatterns()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 397
end line: 413
size: 16 LOC
McCabe index: 7
number of parameters: 2

id: 127
unit: protected boolean checkField()
file: meta/src/main/java/org/arend/lib/key/TransitivityKey.java
start line: 23
end line: 41
size: 16 LOC
McCabe index: 8
number of parameters: 1

id: 128
unit: public Data deserialize()
file: meta/src/main/java/org/arend/lib/key/FieldKey.java
start line: 56
end line: 72
size: 16 LOC
McCabe index: 5
number of parameters: 2

id: 129
unit: public static List collapse()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 44
end line: 59
size: 16 LOC
McCabe index: 6
number of parameters: 1

id: 130
unit: public static CoreParameter replaceParameters()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 461
end line: 478
size: 16 LOC
McCabe index: 4
number of parameters: 4

id: 131
unit: private ConcreteExpression idealGenDecompEqZero()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 259
end line: 273
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 132
unit: public MonoidIdentityRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java
start line: 24
end line: 38
size: 15 LOC
McCabe index: 2
number of parameters: 6

id: 133
unit: public TypedExpression invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/simplify/LocalSimplificationRuleBase.java
start line: 105
end line: 119
size: 15 LOC
McCabe index: 5
number of parameters: 2

id: 134
unit: private boolean setRepresentative()
file: meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java
start line: 25
end line: 42
size: 15 LOC
McCabe index: 5
number of parameters: 2

id: 135
unit: public boolean areRelated()
file: meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java
start line: 63
end line: 81
size: 15 LOC
McCabe index: 4
number of parameters: 2

id: 136
unit: protected LineDoc nfToDoc()
file: meta/src/main/java/org/arend/lib/error/EquationSolverError.java
start line: 50
end line: 65
size: 15 LOC
McCabe index: 7
number of parameters: 1

id: 137
unit: public String toString()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 62
end line: 76
size: 15 LOC
McCabe index: 6
number of parameters: 0

id: 138
unit: private static boolean getRef()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 351
end line: 367
size: 15 LOC
McCabe index: 4
number of parameters: 3

id: 139
unit: public static ConcreteExpression resolvePrefixAsInfix()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 460
end line: 474
size: 15 LOC
McCabe index: 10
number of parameters: 4

id: 140
unit: public List apply()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 710
end line: 723
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 141
unit: protected ConcreteExpression makeLambda2()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/CategoryDataFactory.java
start line: 35
end line: 48
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 142
unit: protected ConcreteExpression makeLambda3()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/CategoryDataFactory.java
start line: 50
end line: 63
size: 14 LOC
McCabe index: 3
number of parameters: 0

id: 143
unit: protected Pair simplifySubexpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/DoubleNegationRule.java
start line: 32
end line: 45
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 144
unit: private UncheckedExpression replaceSubexpr()
file: meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java
start line: 207
end line: 225
size: 14 LOC
McCabe index: 4
number of parameters: 7

id: 145
unit: public boolean checkContextData()
file: meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java
start line: 97
end line: 110
size: 14 LOC
McCabe index: 6
number of parameters: 2

id: 146
unit: public ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 313
end line: 326
size: 14 LOC
McCabe index: 3
number of parameters: 7

id: 147
unit: public void union()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 507
end line: 521
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 148
unit: private static Set getBindingsToRemove()
file: meta/src/main/java/org/arend/lib/meta/HidingMeta.java
start line: 27
end line: 40
size: 14 LOC
McCabe index: 4
number of parameters: 2

id: 149
unit: private CoreExpression unfold()
file: meta/src/main/java/org/arend/lib/meta/UnfoldsMeta.java
start line: 33
end line: 46
size: 14 LOC
McCabe index: 5
number of parameters: 1

id: 150
unit: public void typechecked()
file: meta/src/main/java/org/arend/lib/key/FieldKey.java
start line: 117
end line: 132
size: 14 LOC
McCabe index: 6
number of parameters: 1

id: 151
unit: public static boolean isTrivial()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 147
end line: 160
size: 14 LOC
McCabe index: 6
number of parameters: 1

id: 152
unit: public String toString()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 70
end line: 83
size: 14 LOC
McCabe index: 6
number of parameters: 0

id: 153
unit: private MyCompiledTerm compileTerm()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 109
end line: 121
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 154
unit: private ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/ApplyMeta.java
start line: 22
end line: 35
size: 13 LOC
McCabe index: 4
number of parameters: 2

id: 155
unit: private ConcreteExpression idealGenDecompRingTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 217
end line: 230
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 156
unit: private boolean isInNF()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java
start line: 24
end line: 36
size: 13 LOC
McCabe index: 6
number of parameters: 1

id: 157
unit: private Result visitDefCall()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 213
end line: 227
size: 13 LOC
McCabe index: 5
number of parameters: 2

id: 158
unit: public static ConcreteExpression appAt()
file: meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java
start line: 41
end line: 53
size: 13 LOC
McCabe index: 4
number of parameters: 5

id: 159
unit: private ConcreteExpression antiExt()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 181
end line: 193
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 160
unit: public PiTreeRoot make()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 135
end line: 147
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 161
unit: public  T invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/UsingMeta.java
start line: 59
end line: 72
size: 13 LOC
McCabe index: 4
number of parameters: 3

id: 162
unit: protected ConcreteExpression pathToExpr()
file: meta/src/main/java/org/arend/lib/meta/closure/EquivalenceClosure.java
start line: 57
end line: 71
size: 13 LOC
McCabe index: 5
number of parameters: 1

id: 163
unit: private record SubexpressionData()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 146
end line: 159
size: 13 LOC
McCabe index: 3
number of parameters: 6

id: 164
unit: private static void insertAddPath()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 1222
end line: 1234
size: 13 LOC
McCabe index: 5
number of parameters: 2

id: 165
unit: protected boolean checkField()
file: meta/src/main/java/org/arend/lib/key/ReflexivityKey.java
start line: 23
end line: 37
size: 13 LOC
McCabe index: 4
number of parameters: 1

id: 166
unit: public static MetaDefinition getMeta()
file: meta/src/main/java/org/arend/lib/context/ContextHelper.java
start line: 39
end line: 51
size: 13 LOC
McCabe index: 8
number of parameters: 1

id: 167
unit: private  void removeUnusedVariables()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 318
end line: 329
size: 12 LOC
McCabe index: 4
number of parameters: 2

id: 168
unit: private record Triple()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 165
end line: 179
size: 12 LOC
McCabe index: 4
number of parameters: 3

id: 169
unit: private void typeToRule()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 55
end line: 66
size: 12 LOC
McCabe index: 5
number of parameters: 2

id: 170
unit: private static void insert()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 163
end line: 174
size: 12 LOC
McCabe index: 4
number of parameters: 2

id: 171
unit: private void setBackward()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 772
end line: 783
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 172
unit: public IdentityInverseRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/IdentityInverseRule.java
start line: 22
end line: 33
size: 12 LOC
McCabe index: 2
number of parameters: 6

id: 173
unit: private Map varsToRemove()
file: meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java
start line: 53
end line: 64
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 174
unit: private int countLeaves()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java
start line: 38
end line: 49
size: 12 LOC
McCabe index: 6
number of parameters: 1

id: 175
unit: public Result visitProj()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 306
end line: 318
size: 12 LOC
McCabe index: 5
number of parameters: 2

id: 176
unit: public PiTreeRoot()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeRoot.java
start line: 10
end line: 21
size: 12 LOC
McCabe index: 5
number of parameters: 5

id: 177
unit: private int addTerm()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 58
end line: 72
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 178
unit: private List mergeArgs()
file: meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java
start line: 36
end line: 50
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 179
unit: private Doc traceToDoc()
file: meta/src/main/java/org/arend/lib/error/MonoidSolverError.java
start line: 55
end line: 66
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 180
unit: public static ConcreteExpression toExpression()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 72
end line: 84
size: 12 LOC
McCabe index: 5
number of parameters: 4

id: 181
unit: public static List findIndexesToRemove()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 25
end line: 38
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 182
unit: private ConcreteExpression computeNegative()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 123
end line: 133
size: 11 LOC
McCabe index: 4
number of parameters: 4

id: 183
unit: private void compileHypotheses()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 270
end line: 280
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 184
unit: protected Pair checkInt()
file: meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java
start line: 98
end line: 108
size: 11 LOC
McCabe index: 5
number of parameters: 1

id: 185
unit: private TypedExpression checkGoals()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 145
end line: 155
size: 11 LOC
McCabe index: 6
number of parameters: 1

id: 186
unit: private ConcreteExpression argIsZeroToProdIsZero()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 232
end line: 242
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 187
unit: private ConcreteExpression argsAreZeroToSumIsZero()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 244
end line: 256
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 188
unit: public ConcreteExpression wrapWithData()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/CategoryDataFactory.java
start line: 66
end line: 76
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 189
unit: public TypedExpression getTrivialResult()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 175
end line: 186
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 190
unit: public NegationPropagationRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/NegationPropagationRule.java
start line: 20
end line: 30
size: 11 LOC
McCabe index: 2
number of parameters: 6

id: 191
unit: public Result visitPath()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 187
end line: 198
size: 11 LOC
McCabe index: 6
number of parameters: 2

id: 192
unit: public Result visitAt()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 201
end line: 211
size: 11 LOC
McCabe index: 6
number of parameters: 2

id: 193
unit: private EqualitySpec()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 108
end line: 118
size: 11 LOC
McCabe index: 2
number of parameters: 7

id: 194
unit: private boolean areCongruent()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 137
end line: 151
size: 11 LOC
McCabe index: 6
number of parameters: 3

id: 195
unit: private ConcreteExpression getConcreteTerm()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 163
end line: 173
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 196
unit: private void updateCongrTable()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 290
end line: 303
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 197
unit: private int getImplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java
start line: 52
end line: 62
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 198
unit: private static CoreParameter findParameter()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 1137
end line: 1147
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 199
unit: private static Pair findArgument()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 1149
end line: 1159
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 200
unit: public ContextHelper()
file: meta/src/main/java/org/arend/lib/context/ContextHelper.java
start line: 23
end line: 33
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 201
unit: public static boolean isAbsurd()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 125
end line: 135
size: 11 LOC
McCabe index: 4
number of parameters: 1

id: 202
unit: public static boolean refines()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 175
end line: 187
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 203
unit: public static boolean unify()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 212
end line: 224
size: 11 LOC
McCabe index: 4
number of parameters: 4

id: 204
unit: public Monomial mul()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 95
end line: 105
size: 11 LOC
McCabe index: 4
number of parameters: 1

id: 205
unit: private static CoreExpression getAppArgumentsRev()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 59
end line: 69
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 206
unit: public static int numberOfExplicitPiParameters()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 82
end line: 93
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 207
unit: public static ConcreteParameter expressionToParameter()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 426
end line: 436
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 208
unit: private static ConcreteExpression addImplicitLambda()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 108
end line: 117
size: 10 LOC
McCabe index: 4
number of parameters: 3

id: 209
unit: protected BaseEqualitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 38
end line: 47
size: 10 LOC
McCabe index: 1
number of parameters: 6

id: 210
unit: public static ConcreteExpression makeLambda()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactoryBase.java
start line: 47
end line: 56
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 211
unit: public ConcreteExpression wrapWithData()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactoryBase.java
start line: 59
end line: 86
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 212
unit: public static SubexprOccurrences simpleSingletonOccur()
file: meta/src/main/java/org/arend/lib/meta/equation/EquationSolver.java
start line: 54
end line: 64
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 213
unit: public DoubleNegationRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/DoubleNegationRule.java
start line: 20
end line: 29
size: 10 LOC
McCabe index: 2
number of parameters: 6

id: 214
unit: protected Pair simplifySubexpression()
file: meta/src/main/java/org/arend/lib/meta/simplify/IdentityInverseRule.java
start line: 36
end line: 45
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 215
unit: public static ConcreteExpression makeLambda()
file: meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java
start line: 56
end line: 65
size: 10 LOC
McCabe index: 2
number of parameters: 4

id: 216
unit: default List getAllBindings()
file: meta/src/main/java/org/arend/lib/context/Context.java
start line: 20
end line: 29
size: 10 LOC
McCabe index: 4
number of parameters: 1

id: 217
unit: private static List toMonomials()
file: meta/src/main/java/org/arend/lib/error/MonoidSolverError.java
start line: 36
end line: 45
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 218
unit: public static int getNumberOfBindings()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 113
end line: 123
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 219
unit: public boolean containsKey()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 138
end line: 147
size: 10 LOC
McCabe index: 5
number of parameters: 2

id: 220
unit: public ConcreteExpression getValue()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 149
end line: 158
size: 10 LOC
McCabe index: 5
number of parameters: 2

id: 221
unit: public static List elemsSeqToPowersSeq()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 40
end line: 51
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 222
unit: public int compare()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/DegLexMonomialOrder.java
start line: 7
end line: 16
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 223
unit: public static int getNumber()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 30
end line: 39
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 224
unit: public static int numberOfExplicitParameters()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 71
end line: 80
size: 10 LOC
McCabe index: 5
number of parameters: 1

id: 225
unit: public static ConcreteExpression addArguments()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 103
end line: 113
size: 10 LOC
McCabe index: 4
number of parameters: 4

id: 226
unit: public static List getRefs()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 369
end line: 378
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 227
unit: public static List getTuplesOfRefs()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 415
end line: 424
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 228
unit: private ConcreteExpression witnessesToConcrete()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 299
end line: 307
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 229
unit: public static List removeDuplicates()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 78
end line: 86
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 230
unit: public TypedExpression finalize()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 874
end line: 884
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 231
unit: public DataFactoryBase()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactoryBase.java
start line: 31
end line: 40
size: 9 LOC
McCabe index: 1
number of parameters: 5

id: 232
unit: public CategoryDataFactory()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/CategoryDataFactory.java
start line: 25
end line: 33
size: 9 LOC
McCabe index: 1
number of parameters: 8

id: 233
unit: private boolean findFreeVar()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 92
end line: 100
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 234
unit: public static ConcreteExpression applyCongruence()
file: meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java
start line: 55
end line: 66
size: 9 LOC
McCabe index: 3
number of parameters: 4

id: 235
unit: ConcreteExpression makeConcreteValueArg()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 81
end line: 89
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 236
unit: private void getUnusedClauses()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 155
end line: 163
size: 9 LOC
McCabe index: 5
number of parameters: 2

id: 237
unit: private void initAppExprVar()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 48
end line: 56
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 238
unit: private int getNumberOfInvs()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 175
end line: 183
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 239
unit: private int varHashCode()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 372
end line: 380
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 240
unit: private static  List removeColumnsInRow()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 1119
end line: 1127
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 241
unit: public static HidingContext make()
file: meta/src/main/java/org/arend/lib/context/HidingContext.java
start line: 19
end line: 27
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 242
unit: private boolean isLess()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 70
end line: 78
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 243
unit: public int compareTo()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 94
end line: 102
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 244
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/LinearSolverError.java
start line: 39
end line: 47
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 245
unit: public static CoreParameter getAllBindings()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 103
end line: 111
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 246
unit: public Pair getKeyAndValue()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 108
end line: 116
size: 9 LOC
McCabe index: 6
number of parameters: 1

id: 247
unit: public static List powersSeqToElemsSeq()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 53
end line: 61
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 248
unit: public Monomial lcm()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 31
end line: 39
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 249
unit: public Monomial divideBy()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 85
end line: 93
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 250
unit: public int addValue()
file: meta/src/main/java/org/arend/lib/util/Values.java
start line: 21
end line: 29
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 251
unit: public static TypedExpression findInstance()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 230
end line: 238
size: 9 LOC
McCabe index: 5
number of parameters: 5

id: 252
unit: public static boolean safeCompare()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 302
end line: 310
size: 9 LOC
McCabe index: 3
number of parameters: 8

id: 253
unit: public static List getNotImplementedField()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 323
end line: 331
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 254
unit: private CoreExpression findInstance()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 55
end line: 62
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 255
unit: private ConcreteExpression equationToConcrete()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 282
end line: 289
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 256
unit: private ConcreteExpression certificateToConcrete()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 309
end line: 316
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 257
unit: private ConcreteExpression makeData()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 331
end line: 338
size: 8 LOC
McCabe index: 8
number of parameters: 4

id: 258
unit: private void dropUnusedHypotheses()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 409
end line: 416
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 259
unit: protected BigInteger getInt()
file: meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java
start line: 110
end line: 117
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 260
unit: private ConcreteExpression getResult()
file: meta/src/main/java/org/arend/lib/meta/ExistsMeta.java
start line: 278
end line: 285
size: 8 LOC
McCabe index: 3
number of parameters: 0

id: 261
unit: public SubexprOccurrences matchSubexpr()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 112
end line: 121
size: 8 LOC
McCabe index: 5
number of parameters: 4

id: 262
unit: public boolean isApplicable()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 51
end line: 58
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 263
unit: public ExpressionFunctionMatcher()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ExpressionFunctionMatcher.java
start line: 23
end line: 30
size: 8 LOC
McCabe index: 1
number of parameters: 6

id: 264
unit: public LocalSimplificationRuleBase()
file: meta/src/main/java/org/arend/lib/meta/simplify/LocalSimplificationRuleBase.java
start line: 32
end line: 39
size: 8 LOC
McCabe index: 1
number of parameters: 5

id: 265
unit: private CompiledTerm simplify()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java
start line: 128
end line: 137
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 266
unit: public CongVisitor()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 60
end line: 67
size: 8 LOC
McCabe index: 1
number of parameters: 6

id: 267
unit: public Result visitNew()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 333
end line: 340
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 268
unit: private List computePathToRepr()
file: meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java
start line: 44
end line: 52
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 269
unit: private void compute()
file: meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java
start line: 54
end line: 61
size: 8 LOC
McCabe index: 3
number of parameters: 0

id: 270
unit: public RewriteExpressionProcessor()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 91
end line: 98
size: 8 LOC
McCabe index: 2
number of parameters: 5

id: 271
unit: public MonoidSolverError()
file: meta/src/main/java/org/arend/lib/error/MonoidSolverError.java
start line: 27
end line: 34
size: 8 LOC
McCabe index: 1
number of parameters: 8

id: 272
unit: private Doc getEquationDoc()
file: meta/src/main/java/org/arend/lib/error/LinearSolverError.java
start line: 29
end line: 36
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 273
unit: public static void getReferences()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 94
end line: 101
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 274
unit: public static boolean isAbsurd()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 137
end line: 144
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 275
unit: public static boolean isTrivial()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 162
end line: 169
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 276
unit: public Monomial()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 16
end line: 23
size: 8 LOC
McCabe index: 2
number of parameters: 3

id: 277
unit: public boolean isDivisible()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 41
end line: 48
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 278
unit: public int getIndex()
file: meta/src/main/java/org/arend/lib/util/Values.java
start line: 35
end line: 42
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 279
unit: public static CoreExpression unfoldType()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 333
end line: 340
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 280
unit: public static Boolean isArrayEmpty()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 342
end line: 349
size: 8 LOC
McCabe index: 7
number of parameters: 2

id: 281
unit: public LinearSolver()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 43
end line: 49
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 282
unit: private ConcreteExpression equationsToConcrete()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 291
end line: 297
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 283
unit: private boolean isAppropriateDataCall()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 119
end line: 125
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 284
unit: public TypedExpression checkCore()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 245
end line: 251
size: 7 LOC
McCabe index: 5
number of parameters: 5

id: 285
unit: public static boolean isEmpty()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 572
end line: 578
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 286
unit: private static List latticeCollapse()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 155
end line: 161
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 287
unit: private static List equalitiesToAssumptions()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 190
end line: 196
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 288
unit: private Poly termToPoly()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 200
end line: 207
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 289
unit: private List polyToNF()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 209
end line: 215
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 290
unit: private Equality()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 419
end line: 425
size: 7 LOC
McCabe index: 1
number of parameters: 5

id: 291
unit: private static boolean isNFRec()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 654
end line: 660
size: 7 LOC
McCabe index: 6
number of parameters: 1

id: 292
unit: public static ConcreteExpression formList()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 691
end line: 697
size: 7 LOC
McCabe index: 2
number of parameters: 4

id: 293
unit: private Rule()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 746
end line: 752
size: 7 LOC
McCabe index: 1
number of parameters: 5

id: 294
unit: public MonoidDataFactory()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/MonoidDataFactory.java
start line: 21
end line: 27
size: 7 LOC
McCabe index: 3
number of parameters: 9

id: 295
unit: public boolean isApplicable()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 33
end line: 39
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 296
unit: public SubexprOccurrences()
file: meta/src/main/java/org/arend/lib/meta/equation/EquationSolver.java
start line: 46
end line: 52
size: 7 LOC
McCabe index: 1
number of parameters: 5

id: 297
unit: void excessiveArgsError()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 73
end line: 79
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 298
unit: private SigmaProjSpec()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 300
end line: 306
size: 7 LOC
McCabe index: 1
number of parameters: 6

id: 299
unit: private ConcreteExpression computeConcrete()
file: meta/src/main/java/org/arend/lib/meta/RepeatMeta.java
start line: 43
end line: 49
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 300
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 393
end line: 399
size: 7 LOC
McCabe index: 5
number of parameters: 1

id: 301
unit: public W compare()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 524
end line: 530
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 302
unit: protected void putData()
file: meta/src/main/java/org/arend/lib/key/FieldKey.java
start line: 74
end line: 80
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 303
unit: protected boolean isBaseSetCall()
file: meta/src/main/java/org/arend/lib/key/FieldKey.java
start line: 84
end line: 91
size: 7 LOC
McCabe index: 4
number of parameters: 2

id: 304
unit: public List getContextBindings()
file: meta/src/main/java/org/arend/lib/context/ContextHelper.java
start line: 54
end line: 60
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 305
unit: public static void multiply()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 26
end line: 32
size: 7 LOC
McCabe index: 3
number of parameters: 3

id: 306
unit: public Assumption()
file: meta/src/main/java/org/arend/lib/error/EquationSolverError.java
start line: 33
end line: 39
size: 7 LOC
McCabe index: 1
number of parameters: 5

id: 307
unit: public EquationSolverError()
file: meta/src/main/java/org/arend/lib/error/EquationSolverError.java
start line: 42
end line: 48
size: 7 LOC
McCabe index: 1
number of parameters: 6

id: 308
unit: public SubexprError()
file: meta/src/main/java/org/arend/lib/error/SubexprError.java
start line: 21
end line: 27
size: 7 LOC
McCabe index: 2
number of parameters: 6

id: 309
unit: private static List rulesToAssumptions()
file: meta/src/main/java/org/arend/lib/error/MonoidSolverError.java
start line: 47
end line: 53
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 310
unit: public static List toExpression()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 86
end line: 92
size: 7 LOC
McCabe index: 2
number of parameters: 4

id: 311
unit: public static List subst()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 445
end line: 451
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 312
unit: public static List replaceParameters()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 453
end line: 459
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 313
unit: public ArendPattern()
file: meta/src/main/java/org/arend/lib/pattern/ArendPattern.java
start line: 22
end line: 28
size: 7 LOC
McCabe index: 1
number of parameters: 5

id: 314
unit: public ArendRef add()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 33
end line: 39
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 315
unit: public Poly mul()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 108
end line: 114
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 316
unit: public Poly mul()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 116
end line: 122
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 317
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 56
end line: 62
size: 7 LOC
McCabe index: 5
number of parameters: 1

id: 318
unit: public int degree()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 115
end line: 121
size: 7 LOC
McCabe index: 2
number of parameters: 0

id: 319
unit: public static CoreFunCallExpression toEquality()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 45
end line: 51
size: 7 LOC
McCabe index: 4
number of parameters: 3

id: 320
unit: public static int parametersSize()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 95
end line: 101
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 321
unit: public static ArendRef getReference()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 476
end line: 483
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 322
unit: public Equation()
file: meta/src/main/java/org/arend/lib/meta/linear/Equation.java
start line: 15
end line: 20
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 323
unit: private ExtGenerator()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 126
end line: 131
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 324
unit: protected RingSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 42
end line: 47
size: 6 LOC
McCabe index: 4
number of parameters: 9

id: 325
unit: private ConcreteExpression minusRingTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 280
end line: 285
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 326
unit: private ConcreteExpression minusRingElement()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 287
end line: 292
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 327
unit: private TermCompiler()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 29
end line: 34
size: 6 LOC
McCabe index: 1
number of parameters: 13

id: 328
unit: private TermCompiler()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 36
end line: 41
size: 6 LOC
McCabe index: 1
number of parameters: 9

id: 329
unit: private ConcreteExpression computeNegative()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 64
end line: 69
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 330
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 726
end line: 731
size: 6 LOC
McCabe index: 5
number of parameters: 1

id: 331
unit: public void setUseHypotheses()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 70
end line: 75
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 332
unit: public boolean initializeSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 78
end line: 83
size: 6 LOC
McCabe index: 2
number of parameters: 0

id: 333
unit: public SubexprOccurrences matchSubexpr()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 86
end line: 91
size: 6 LOC
McCabe index: 2
number of parameters: 4

id: 334
unit: protected ConcreteExpression getDataClass()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/MonoidDataFactory.java
start line: 29
end line: 34
size: 6 LOC
McCabe index: 4
number of parameters: 2

id: 335
unit: public RingDataFactory()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/RingDataFactory.java
start line: 18
end line: 23
size: 6 LOC
McCabe index: 1
number of parameters: 8

id: 336
unit: public TransitivitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 43
end line: 48
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 337
unit: public ConcreteExpression combineResults()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 189
end line: 194
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 338
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java
start line: 60
end line: 65
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 339
unit: ConcreteExpression getExpression()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 42
end line: 47
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 340
unit: protected Spec()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 60
end line: 65
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 341
unit: void excessiveArgsError()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 140
end line: 145
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 342
unit: public BasePiTree()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/BasePiTree.java
start line: 14
end line: 19
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 343
unit: public PiTreeMaker()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 39
end line: 44
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 344
unit: public EquivalenceClosure()
file: meta/src/main/java/org/arend/lib/meta/closure/EquivalenceClosure.java
start line: 17
end line: 22
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 345
unit: public void addRelation()
file: meta/src/main/java/org/arend/lib/meta/closure/EquivalenceClosure.java
start line: 25
end line: 30
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 346
unit: private EqProofOrElement checkEquality()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 191
end line: 196
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 347
unit: public void addAsRef()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 240
end line: 245
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 348
unit: public RewriteMeta()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 37
end line: 42
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 349
unit: private void getNumber()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 54
end line: 59
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 350
unit: public SubstitutionMeta()
file: meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java
start line: 29
end line: 34
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 351
unit: public SubstitutionMeta()
file: meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java
start line: 36
end line: 41
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 352
unit: public Monomial multiply()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 19
end line: 24
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 353
unit: public ComparisonResult compare()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 63
end line: 68
size: 6 LOC
McCabe index: 6
number of parameters: 1

id: 354
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 81
end line: 86
size: 6 LOC
McCabe index: 5
number of parameters: 1

id: 355
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/SubexprError.java
start line: 30
end line: 35
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 356
unit: public SimplifyError()
file: meta/src/main/java/org/arend/lib/error/SimplifyError.java
start line: 21
end line: 26
size: 6 LOC
McCabe index: 1
number of parameters: 4

id: 357
unit: public LinearSolverError()
file: meta/src/main/java/org/arend/lib/error/LinearSolverError.java
start line: 22
end line: 27
size: 6 LOC
McCabe index: 2
number of parameters: 4

id: 358
unit: public ArendRef add()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 26
end line: 31
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 359
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 49
end line: 54
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 360
unit: public boolean equals()
file: meta/src/main/java/org/arend/lib/util/Maybe.java
start line: 13
end line: 18
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 361
unit: public V get()
file: meta/src/main/java/org/arend/lib/util/Lazy.java
start line: 13
end line: 18
size: 6 LOC
McCabe index: 2
number of parameters: 0

id: 362
unit: public CompiledTerms()
file: meta/src/main/java/org/arend/lib/meta/linear/CompiledTerms.java
start line: 10
end line: 14
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 363
unit: private ConcreteExpression computeMinus()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 139
end line: 143
size: 5 LOC
McCabe index: 1
number of parameters: 5

id: 364
unit: public record CompiledTerm()
file: meta/src/main/java/org/arend/lib/meta/linear/CompiledTerm.java
start line: 9
end line: 13
size: 5 LOC
McCabe index: 2
number of parameters: 3

id: 365
unit: private Hypothesis()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 156
end line: 160
size: 5 LOC
McCabe index: 1
number of parameters: 6

id: 366
unit: private Hypothesis natToIntHypothesis()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 371
end line: 375
size: 5 LOC
McCabe index: 5
number of parameters: 2

id: 367
unit: private Hypothesis intToRatHypothesis()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 377
end line: 381
size: 5 LOC
McCabe index: 5
number of parameters: 2

id: 368
unit: private Hypothesis ratToRatAlgebraHypothesis()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 383
end line: 387
size: 5 LOC
McCabe index: 5
number of parameters: 2

id: 369
unit: private PiTreeData()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 69
end line: 73
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 370
unit: private static boolean atLeastSet()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 713
end line: 717
size: 5 LOC
McCabe index: 6
number of parameters: 1

id: 371
unit: private ConcreteExpression computeMinus()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 71
end line: 75
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 372
unit: private CompiledTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 82
end line: 86
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 373
unit: private RuleExt()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 766
end line: 770
size: 5 LOC
McCabe index: 1
number of parameters: 7

id: 374
unit: private EqualitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 32
end line: 36
size: 5 LOC
McCabe index: 1
number of parameters: 6

id: 375
unit: private void initializeAlgebraSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 112
end line: 116
size: 5 LOC
McCabe index: 9
number of parameters: 2

id: 376
unit: public GroupDataFactory()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/GroupDataFactory.java
start line: 18
end line: 22
size: 5 LOC
McCabe index: 2
number of parameters: 7

id: 377
unit: public NatFunctionMatcher()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/NatFunctionMatcher.java
start line: 20
end line: 24
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 378
unit: public ListFunctionMatcher()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ListFunctionMatcher.java
start line: 21
end line: 25
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 379
unit: public EquivSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 26
end line: 30
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 380
unit: public MulOfNegativesRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java
start line: 20
end line: 24
size: 5 LOC
McCabe index: 1
number of parameters: 5

id: 381
unit: public MultiplicationByZeroRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/MultiplicationByZeroRule.java
start line: 19
end line: 23
size: 5 LOC
McCabe index: 1
number of parameters: 5

id: 382
unit: public void removeUnusedClauses()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 149
end line: 153
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 383
unit: public static List getNewBindings()
file: meta/src/main/java/org/arend/lib/meta/UsingMeta.java
start line: 53
end line: 57
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 384
unit: public EqualityIsEquivProof()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 35
end line: 39
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 385
unit: public CongruenceClosure()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 42
end line: 46
size: 5 LOC
McCabe index: 1
number of parameters: 6

id: 386
unit: private boolean shouldBeInverted()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 185
end line: 189
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 387
unit: public Equality()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 310
end line: 314
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 388
unit: public void addRelation()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 342
end line: 346
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 389
unit: public static List updateBindings()
file: meta/src/main/java/org/arend/lib/meta/HidingMeta.java
start line: 42
end line: 46
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 390
unit: private ConcreteExpression addType()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 109
end line: 113
size: 5 LOC
McCabe index: 3
number of parameters: 3

id: 391
unit: public EqProofConcrete()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 194
end line: 198
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 392
unit: private ReplaceExactSubexpressionsMeta()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 1074
end line: 1078
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 393
unit: public List getContextBindings()
file: meta/src/main/java/org/arend/lib/context/HidingContext.java
start line: 30
end line: 34
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 394
unit: public static void negate()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 38
end line: 42
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 395
unit: public MetaDidNotFailError()
file: meta/src/main/java/org/arend/lib/error/MetaDidNotFailError.java
start line: 16
end line: 20
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 396
unit: public SubclassError()
file: meta/src/main/java/org/arend/lib/error/SubclassError.java
start line: 15
end line: 19
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 397
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/SimplifyError.java
start line: 29
end line: 33
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 398
unit: public TypeError()
file: meta/src/main/java/org/arend/lib/error/TypeError.java
start line: 16
end line: 20
size: 5 LOC
McCabe index: 1
number of parameters: 4

id: 399
unit: public ArendRef addFlag()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 41
end line: 45
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 400
unit: public Poly add()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 90
end line: 94
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 401
unit: public Monomial()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 10
end line: 14
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 402
unit: public Monomial()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 25
end line: 29
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 403
unit: public RelationData()
file: meta/src/main/java/org/arend/lib/util/RelationData.java
start line: 11
end line: 15
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 404
unit: public static CoreExpression getAppArguments()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 53
end line: 57
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 405
unit: public static CoreExpression minimizeToProp()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 317
end line: 321
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 406
unit: public static CoreExpression toPos()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 327
end line: 330
size: 4 LOC
McCabe index: 2
number of parameters: 4

id: 407
unit: public static CoreExpression toRat()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 332
end line: 335
size: 4 LOC
McCabe index: 2
number of parameters: 4

id: 408
unit: public static CoreExpression toRatAlgebra()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 337
end line: 340
size: 4 LOC
McCabe index: 2
number of parameters: 4

id: 409
unit: public ExistsMeta()
file: meta/src/main/java/org/arend/lib/meta/ExistsMeta.java
start line: 29
end line: 32
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 410
unit: private ConcreteParameter produceParam()
file: meta/src/main/java/org/arend/lib/meta/ExistsMeta.java
start line: 287
end line: 290
size: 4 LOC
McCabe index: 3
number of parameters: 4

id: 411
unit: private static RType makeRType()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 75
end line: 78
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 412
unit: public ExtMeta()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 39
end line: 42
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 413
unit: private CoclauseData()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 88
end line: 91
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 414
unit: private TypedExpression hidingIRef()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 157
end line: 160
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 415
unit: public TypedExpression finalize()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 50
end line: 53
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 416
unit: private int numVarsInNF()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 275
end line: 278
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 417
unit: public CompiledTerm compileTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 89
end line: 92
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 418
unit: private Step()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 705
end line: 708
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 419
unit: private CompiledTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 790
end line: 793
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 420
unit: private CompiledTerm compileTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 796
end line: 799
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 421
unit: protected ConcreteExpression getDataClass()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/RingDataFactory.java
start line: 31
end line: 34
size: 4 LOC
McCabe index: 6
number of parameters: 2

id: 422
unit: protected ConcreteExpression getDataClass()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/GroupDataFactory.java
start line: 30
end line: 33
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 423
unit: public DefinitionFunctionMatcher()
file: meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/DefinitionFunctionMatcher.java
start line: 18
end line: 21
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 424
unit: public TransitivityInstanceCache()
file: meta/src/main/java/org/arend/lib/meta/equation/EquationMeta.java
start line: 176
end line: 179
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 425
unit: public boolean initializeSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 202
end line: 205
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 426
unit: public ConcreteExpression finalizeEqProof()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupRuleBase.java
start line: 53
end line: 56
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 427
unit: public ParamType()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 54
end line: 57
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 428
unit: public Result visitInteger()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 159
end line: 162
size: 4 LOC
McCabe index: 3
number of parameters: 2

id: 429
unit: public Result visitTypeConstructor()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 321
end line: 324
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 430
unit: public Result visitTypeDestructor()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 327
end line: 330
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 431
unit: public SimpCoeMeta()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 39
end line: 42
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 432
unit: public ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 121
end line: 124
size: 4 LOC
McCabe index: 4
number of parameters: 7

id: 433
unit: public PiTreeNode()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeNode.java
start line: 11
end line: 14
size: 4 LOC
McCabe index: 1
number of parameters: 5

id: 434
unit: public ConcreteExpression getAltHead()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/BasePiTree.java
start line: 21
end line: 24
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 435
unit: public BunchedEquivalenceClosure()
file: meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java
start line: 14
end line: 17
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 436
unit: public void addRelation()
file: meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java
start line: 20
end line: 23
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 437
unit: public ValuesRelationClosure()
file: meta/src/main/java/org/arend/lib/meta/closure/ValuesRelationClosure.java
start line: 11
end line: 14
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 438
unit: public EqProofOrElement()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 157
end line: 160
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 439
unit: public VarId()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 387
end line: 390
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 440
unit: public ConstructorMeta()
file: meta/src/main/java/org/arend/lib/meta/ConstructorMeta.java
start line: 35
end line: 38
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 441
unit: public static ConcreteExpression makeLambda()
file: meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java
start line: 51
end line: 54
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 442
unit: public ReplaceSubexpressionsMeta()
file: meta/src/main/java/org/arend/lib/meta/util/ReplaceSubexpressionsMeta.java
start line: 26
end line: 29
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 443
unit: protected FieldKey()
file: meta/src/main/java/org/arend/lib/key/FieldKey.java
start line: 37
end line: 40
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 444
unit: private HidingContext()
file: meta/src/main/java/org/arend/lib/context/HidingContext.java
start line: 14
end line: 17
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 445
unit: private BigRational()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 12
end line: 15
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 446
unit: public static BigRational make()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 17
end line: 20
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 447
unit: public Monomial()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 14
end line: 17
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 448
unit: public IgnoredArgumentError()
file: meta/src/main/java/org/arend/lib/error/IgnoredArgumentError.java
start line: 11
end line: 14
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 449
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/MonoidSolverError.java
start line: 69
end line: 72
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 450
unit: public FieldNotPropError()
file: meta/src/main/java/org/arend/lib/error/FieldNotPropError.java
start line: 14
end line: 17
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 451
unit: public static ConcretePattern toConcrete()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 47
end line: 50
size: 4 LOC
McCabe index: 2
number of parameters: 5

id: 452
unit: public String getBindingName()
file: meta/src/main/java/org/arend/lib/pattern/ArendPattern.java
start line: 36
end line: 39
size: 4 LOC
McCabe index: 2
number of parameters: 0

id: 453
unit: private static Poly twoMonomialsToBinomial()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 67
end line: 71
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 454
unit: public static  Poly constant()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 39
end line: 42
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 455
unit: public BigInteger div()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 58
end line: 61
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 456
unit: public boolean degVecEquals()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 50
end line: 53
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 457
unit: public boolean testClass()
file: meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java
start line: 31
end line: 34
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 458
unit: public Values()
file: meta/src/main/java/org/arend/lib/util/Values.java
start line: 16
end line: 19
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 459
unit: public static CoreClassCallExpression getClassCall()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 240
end line: 243
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 460
unit: public static boolean isProp()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 312
end line: 315
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 461
unit: public static CoreExpression getClassifyingExpression()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 485
end line: 488
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 462
unit: public StdNumberTypechecker()
file: meta/src/main/java/org/arend/lib/StdNumberTypechecker.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 463
unit: private ConcreteExpression applyInstance()
file: meta/src/main/java/org/arend/lib/StdNumberTypechecker.java
start line: 35
end line: 37
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 464
unit: private TermCompiler()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 10

id: 465
unit: public TermCompiler()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 30
end line: 32
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 466
unit: protected BaseTermCompiler newInstance()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 35
end line: 37
size: 3 LOC
McCabe index: 1
number of parameters: 10

id: 467
unit: private TermCompiler getSubTermCompiler()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 39
end line: 41
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 468
unit: public RingKind getKind()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 469
unit: public boolean isNat()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 47
end line: 49
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 470
unit: public boolean isInt()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 51
end line: 53
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 471
unit: public Values getValues()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 55
end line: 57
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 472
unit: public Ring getZero()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 59
end line: 61
size: 3 LOC
McCabe index: 3
number of parameters: 0

id: 473
unit: public Ring getOne()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 63
end line: 65
size: 3 LOC
McCabe index: 3
number of parameters: 0

id: 474
unit: public int getNumberOfVariables()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 67
end line: 69
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 475
unit: private ConcreteExpression computePlus()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 135
end line: 137
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 476
unit: public BigInteger getLCM()
file: meta/src/main/java/org/arend/lib/meta/linear/Equation.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 477
unit: private CoreClassDefinition getInstanceClass()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 51
end line: 53
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 478
unit: private void reportTypeError()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 64
end line: 66
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 479
unit: public BigInteger getLCM()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 163
end line: 165
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 480
unit: private Hypothesis bindingToHypothesis()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 168
end line: 170
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 481
unit: private TermCompiler makeTermCompiler()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 266
end line: 268
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 482
unit: private Equation makeZeroLessOne()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java
start line: 340
end line: 342
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 483
unit: public LinearSolverMeta()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 484
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java
start line: 53
end line: 55
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 485
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java
start line: 58
end line: 60
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 486
unit: public FailsMeta()
file: meta/src/main/java/org/arend/lib/meta/FailsMeta.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 487
unit: private ConcreteExpression makeResult()
file: meta/src/main/java/org/arend/lib/meta/FailsMeta.java
start line: 29
end line: 31
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 488
unit: protected BaseTermCompiler()
file: meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java
start line: 74
end line: 76
size: 3 LOC
McCabe index: 1
number of parameters: 8

id: 489
unit: public ApplyMeta()
file: meta/src/main/java/org/arend/lib/meta/ApplyMeta.java
start line: 18
end line: 20
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 490
unit: public MakeConstructorMeta()
file: meta/src/main/java/org/arend/lib/meta/MakeConstructorMeta.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 491
unit: private Processor()
file: meta/src/main/java/org/arend/lib/meta/ExistsMeta.java
start line: 137
end line: 139
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 492
unit: public ContradictionMeta()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 493
unit: public ConcreteExpression check()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 253
end line: 255
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 494
unit: public SIPMeta()
file: meta/src/main/java/org/arend/lib/meta/SIPMeta.java
start line: 52
end line: 54
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 495
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/SIPMeta.java
start line: 62
end line: 64
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 496
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 50
end line: 52
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 497
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 55
end line: 57
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 498
unit: public boolean allowCoclauses()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 60
end line: 62
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 499
unit: private static boolean useLet()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 76
end line: 78
size: 3 LOC
McCabe index: 4
number of parameters: 2

id: 500
unit: private static ConcreteExpression makeProj()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 80
end line: 82
size: 3 LOC
McCabe index: 2
number of parameters: 4

id: 501
unit: public ConcreteExpression applyAt()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 103
end line: 105
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 502
unit: private ConcreteExpression applyAt()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 133
end line: 135
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 503
unit: private ConcreteExpression applyAt()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 137
end line: 139
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 504
unit: private ConcreteExpression applyPath()
file: meta/src/main/java/org/arend/lib/meta/ExtMeta.java
start line: 141
end line: 143
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 505
unit: public TimeMeta()
file: meta/src/main/java/org/arend/lib/meta/debug/TimeMeta.java
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 506
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/debug/TimeMeta.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 507
unit: public PrintMeta()
file: meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 508
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 509
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 510
unit: public RandomMeta()
file: meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 511
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 512
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java
start line: 36
end line: 38
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 513
unit: public UnfoldMeta()
file: meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 514
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java
start line: 44
end line: 46
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 515
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java
start line: 49
end line: 51
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 516
unit: protected BaseEqualitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 49
end line: 51
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 517
unit: public boolean isApplicable()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 54
end line: 56
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 518
unit: public CoreExpression getValuesType()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 59
end line: 61
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 519
unit: public CoreExpression getLeftValue()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 64
end line: 66
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 520
unit: public CoreExpression getRightValue()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 69
end line: 71
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 521
unit: public TypedExpression getTrivialResult()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 84
end line: 86
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 522
unit: public ConcreteExpression combineResults()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 89
end line: 91
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 523
unit: public boolean isHint()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 94
end line: 96
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 524
unit: public boolean initializeSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 99
end line: 101
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 525
unit: public void setUseHypotheses()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 123
end line: 125
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 526
unit: public TypedExpression finalize()
file: meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java
start line: 128
end line: 130
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 527
unit: private void toCommutativeNF()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 68
end line: 70
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 528
unit: private static void removeDuplicates()
file: meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java
start line: 151
end line: 153
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 529
unit: public TermCompiler()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 7

id: 530
unit: private static boolean isLattice()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 47
end line: 49
size: 3 LOC
McCabe index: 3
number of parameters: 3

id: 531
unit: private static boolean isRing()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 51
end line: 53
size: 3 LOC
McCabe index: 3
number of parameters: 3

id: 532
unit: protected BaseTermCompiler newInstance()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 56
end line: 58
size: 3 LOC
McCabe index: 1
number of parameters: 10

id: 533
unit: private TermCompiler getSubTermCompiler()
file: meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java
start line: 60
end line: 62
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 534
unit: private static boolean isNF()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 650
end line: 652
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 535
unit: public int hashCode()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 734
end line: 736
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 536
unit: boolean isIncreasing()
file: meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java
start line: 754
end line: 756
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 537
unit: public EqualitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 538
unit: public EqualitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 42
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 539
unit: public EqualitySolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 46
end line: 48
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 540
unit: public CoreExpression getValuesType()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 61
end line: 63
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 541
unit: public void setValuesType()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 65
end line: 67
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 542
unit: public TypedExpression finalize()
file: meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java
start line: 163
end line: 165
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 543
unit: protected ConcreteExpression getDefaultValue()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/MonoidDataFactory.java
start line: 37
end line: 39
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 544
unit: public static ConcreteExpression makeFin()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactoryBase.java
start line: 44
end line: 46
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 545
unit: protected ConcreteExpression getDefaultValue()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/RingDataFactory.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 546
unit: protected ConcreteExpression getDefaultValue()
file: meta/src/main/java/org/arend/lib/meta/equation/datafactory/GroupDataFactory.java
start line: 25
end line: 27
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 547
unit: public CoreExpression getValuesType()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 42
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 548
unit: public CoreExpression getLeftValue()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 47
end line: 49
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 549
unit: public CoreExpression getRightValue()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 52
end line: 54
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 550
unit: public TypedExpression getTrivialResult()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 74
end line: 76
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 551
unit: public ConcreteExpression combineResults()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 79
end line: 81
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 552
unit: public boolean isHint()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 84
end line: 86
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 553
unit: public boolean initializeSolver()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 89
end line: 91
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 554
unit: public ConcreteExpression solve()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 94
end line: 96
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 555
unit: public SubexprOccurrences matchSubexpr()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 99
end line: 101
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 556
unit: public TypedExpression finalize()
file: meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java
start line: 104
end line: 106
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 557
unit: public void wrapExprWithOccurrences()
file: meta/src/main/java/org/arend/lib/meta/equation/EquationSolver.java
start line: 68
end line: 70
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 558
unit: public EquationMeta()
file: meta/src/main/java/org/arend/lib/meta/equation/EquationMeta.java
start line: 184
end line: 186
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 559
unit: private MyInstanceSearchParameters()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 51
end line: 53
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 560
unit: public CoreExpression getValuesType()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 150
end line: 152
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 561
unit: public CoreExpression getLeftValue()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 155
end line: 157
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 562
unit: public CoreExpression getRightValue()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 160
end line: 162
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 563
unit: public boolean isHint()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 197
end line: 199
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 564
unit: public SubexprOccurrences matchSubexpr()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 229
end line: 231
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 565
unit: public TypedExpression finalize()
file: meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java
start line: 234
end line: 236
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 566
unit: public VarTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/term/VarTerm.java
start line: 6
end line: 8
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 567
unit: public CompositeTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/term/CompositeTerm.java
start line: 15
end line: 17
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 568
unit: public SimplifyMeta()
file: meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java
start line: 33
end line: 35
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 569
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 570
unit: public Simplifier()
file: meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 571
unit: public SimplifyExpressionProcessor()
file: meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java
start line: 61
end line: 63
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 572
unit: public AbGroupInverseRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java
start line: 29
end line: 31
size: 3 LOC
McCabe index: 1
number of parameters: 6

id: 573
unit: public GroupInverseRule()
file: meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 6

id: 574
unit: public ClassExtResolver()
file: meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 575
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 576
unit: public AssumptionMeta()
file: meta/src/main/java/org/arend/lib/meta/AssumptionMeta.java
start line: 28
end line: 30
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 577
unit: public Result()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 578
unit: public Result visitFunCall()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 230
end line: 232
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 579
unit: public Result visitDataCall()
file: meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java
start line: 235
end line: 237
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 580
unit: public CongruenceMeta()
file: meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 581
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java
start line: 37
end line: 39
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 582
unit: public boolean allowCoclauses()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 50
end line: 52
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 583
unit: ConcreteExpression makeArg()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 69
end line: 71
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 584
unit: protected ErrorSpec()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 93
end line: 95
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 585
unit: ConcreteExpression make()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 98
end line: 100
size: 3 LOC
McCabe index: 1
number of parameters: 7

id: 586
unit: ConcreteExpression proj()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 250
end line: 252
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 587
unit: private ConcreteExpression proj()
file: meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java
start line: 308
end line: 310
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 588
unit: public RepeatMeta()
file: meta/src/main/java/org/arend/lib/meta/RepeatMeta.java
start line: 24
end line: 26
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 589
unit: protected boolean keepMetaArgument()
file: meta/src/main/java/org/arend/lib/meta/RepeatMeta.java
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 590
unit: protected boolean allowNonMeta()
file: meta/src/main/java/org/arend/lib/meta/RepeatMeta.java
start line: 39
end line: 41
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 591
unit: public boolean isNonDependent()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeRoot.java
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 592
unit: public PathExpression()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PathExpression.java
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 593
unit: protected ConcreteExpression applyAt()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PathExpression.java
start line: 17
end line: 19
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 594
unit: public ConcreteExpression applyAt()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PathExpression.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 595
unit: public boolean isAltHeadUsed()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/BasePiTree.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 596
unit: public ConcreteExpression makeConcrete()
file: meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java
start line: 166
end line: 168
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 597
unit: public OrElseMeta()
file: meta/src/main/java/org/arend/lib/meta/OrElseMeta.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 598
unit: public UsingMeta()
file: meta/src/main/java/org/arend/lib/meta/UsingMeta.java
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 599
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/UnfoldLetMeta.java
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 600
unit: public InMeta()
file: meta/src/main/java/org/arend/lib/meta/InMeta.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 601
unit: public RunMeta()
file: meta/src/main/java/org/arend/lib/meta/RunMeta.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 602
unit: public boolean allowEmptyCoclauses()
file: meta/src/main/java/org/arend/lib/meta/RunMeta.java
start line: 30
end line: 32
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 603
unit: public void addRelation()
file: meta/src/main/java/org/arend/lib/meta/closure/ValuesRelationClosure.java
start line: 17
end line: 19
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 604
unit: public void addRelation()
file: meta/src/main/java/org/arend/lib/meta/closure/ValuesRelationClosure.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 605
unit: public ConcreteExpression checkRelation()
file: meta/src/main/java/org/arend/lib/meta/closure/ValuesRelationClosure.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 606
unit: public int hashCode()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 402
end line: 404
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 607
unit: public ValuesEx()
file: meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java
start line: 408
end line: 410
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 608
unit: public static  T invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/HidingMeta.java
start line: 48
end line: 50
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 609
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/ConstructorMeta.java
start line: 41
end line: 43
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 610
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 72
end line: 74
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 611
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 77
end line: 79
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 612
unit: private ConcreteExpression resolveArgRef()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 81
end line: 83
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 613
unit: private ConcreteExpression getArgArgument()
file: meta/src/main/java/org/arend/lib/meta/CasesMeta.java
start line: 85
end line: 87
size: 3 LOC
McCabe index: 5
number of parameters: 1

id: 614
unit: public DefaultImplMeta()
file: meta/src/main/java/org/arend/lib/meta/DefaultImplMeta.java
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 615
unit: public AtMeta()
file: meta/src/main/java/org/arend/lib/meta/AtMeta.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 616
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/AtMeta.java
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 617
unit: public NormalizationMeta()
file: meta/src/main/java/org/arend/lib/meta/NormalizationMeta.java
start line: 14
end line: 16
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 618
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/LaterMeta.java
start line: 11
end line: 13
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 619
unit: public TypedExpression invokeMeta()
file: meta/src/main/java/org/arend/lib/meta/LaterMeta.java
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 620
unit: public boolean withoutLevels()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 45
end line: 47
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 621
unit: public List getExactMatches()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 81
end line: 83
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 622
unit: public EqProofConcrete inverse()
file: meta/src/main/java/org/arend/lib/meta/RewriteMeta.java
start line: 200
end line: 202
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 623
unit: public SubstitutionMeta()
file: meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 624
unit: public SubstitutionMeta()
file: meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java
start line: 47
end line: 49
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 625
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java
start line: 24
end line: 26
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 626
unit: protected boolean keepMetaArgument()
file: meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java
start line: 28
end line: 30
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 627
unit: protected boolean allowNonMeta()
file: meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 628
unit: public ConcreteExpression getConcreteRepresentation()
file: meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java
start line: 64
end line: 66
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 629
unit: public MatchingCasesMeta()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 40
end line: 42
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 630
unit: public int numberOfOptionalExplicitArguments()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 53
end line: 55
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 631
unit: public boolean allowClauses()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 58
end line: 60
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 632
unit: public boolean requireExpectedType()
file: meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java
start line: 162
end line: 164
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 633
unit: public boolean allowExcessiveArguments()
file: meta/src/main/java/org/arend/lib/meta/UnfoldsMeta.java
start line: 24
end line: 26
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 634
unit: public TransitivityKey()
file: meta/src/main/java/org/arend/lib/key/TransitivityKey.java
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 635
unit: protected int getNumberOfParameters()
file: meta/src/main/java/org/arend/lib/key/TransitivityKey.java
start line: 18
end line: 20
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 636
unit: public ReflexivityKey()
file: meta/src/main/java/org/arend/lib/key/ReflexivityKey.java
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 637
unit: protected int getNumberOfParameters()
file: meta/src/main/java/org/arend/lib/key/ReflexivityKey.java
start line: 18
end line: 20
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 638
unit: public IrreflexivityKey()
file: meta/src/main/java/org/arend/lib/key/IrreflexivityKey.java
start line: 15
end line: 17
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 639
unit: protected int getNumberOfParameters()
file: meta/src/main/java/org/arend/lib/key/IrreflexivityKey.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 640
unit: public ContextHelper()
file: meta/src/main/java/org/arend/lib/context/ContextHelper.java
start line: 35
end line: 37
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 641
unit: public List getAdditionalBindings()
file: meta/src/main/java/org/arend/lib/context/ContextHelper.java
start line: 63
end line: 65
size: 3 LOC
McCabe index: 5
number of parameters: 1

id: 642
unit: public List getAdditionalBindings()
file: meta/src/main/java/org/arend/lib/context/HidingContext.java
start line: 37
end line: 39
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 643
unit: default List getContextBindings()
file: meta/src/main/java/org/arend/lib/context/Context.java
start line: 12
end line: 14
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 644
unit: default List getAdditionalBindings()
file: meta/src/main/java/org/arend/lib/context/Context.java
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 645
unit: public IntRing()
file: meta/src/main/java/org/arend/lib/ring/IntRing.java
start line: 11
end line: 13
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 646
unit: public IntRing add()
file: meta/src/main/java/org/arend/lib/ring/IntRing.java
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 647
unit: public IntRing multiply()
file: meta/src/main/java/org/arend/lib/ring/IntRing.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 648
unit: public IntRing negate()
file: meta/src/main/java/org/arend/lib/ring/IntRing.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 649
unit: public IntRing subtract()
file: meta/src/main/java/org/arend/lib/ring/IntRing.java
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 650
unit: public static BigRational makeInt()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 651
unit: public BigRational add()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 27
end line: 29
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 652
unit: public BigRational multiply()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 32
end line: 34
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 653
unit: public BigRational negate()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 37
end line: 39
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 654
unit: public BigRational subtract()
file: meta/src/main/java/org/arend/lib/ring/BigRational.java
start line: 42
end line: 44
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 655
unit: public Monomial negate()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 656
unit: public int hashCode()
file: meta/src/main/java/org/arend/lib/ring/Monomial.java
start line: 89
end line: 91
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 657
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/MetaDidNotFailError.java
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 658
unit: public boolean hasExpressions()
file: meta/src/main/java/org/arend/lib/error/EquationSolverError.java
start line: 97
end line: 99
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 659
unit: public LineDoc getShortHeaderDoc()
file: meta/src/main/java/org/arend/lib/error/SubclassError.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 660
unit: public boolean hasExpressions()
file: meta/src/main/java/org/arend/lib/error/SubexprError.java
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 661
unit: public boolean hasExpressions()
file: meta/src/main/java/org/arend/lib/error/SimplifyError.java
start line: 36
end line: 38
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 662
unit: public boolean hasExpressions()
file: meta/src/main/java/org/arend/lib/error/LinearSolverError.java
start line: 50
end line: 52
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 663
unit: public Doc getBodyDoc()
file: meta/src/main/java/org/arend/lib/error/TypeError.java
start line: 23
end line: 25
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 664
unit: public boolean hasExpressions()
file: meta/src/main/java/org/arend/lib/error/TypeError.java
start line: 28
end line: 30
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 665
unit: public LineDoc getShortHeaderDoc()
file: meta/src/main/java/org/arend/lib/error/FieldNotPropError.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 666
unit: public StdLevelProver()
file: meta/src/main/java/org/arend/lib/level/StdLevelProver.java
start line: 28
end line: 30
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 667
unit: public static boolean refines()
file: meta/src/main/java/org/arend/lib/pattern/PatternUtils.java
start line: 171
end line: 173
size: 3 LOC
McCabe index: 7
number of parameters: 2

id: 668
unit: public boolean isAbsurd()
file: meta/src/main/java/org/arend/lib/pattern/ArendPattern.java
start line: 57
end line: 59
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 669
unit: public void setUI()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 96
end line: 98
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 670
unit: public void setPrelude()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 101
end line: 103
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 671
unit: public void setConcreteFactory()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 106
end line: 108
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 672
unit: public void setDefinitionProvider()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 111
end line: 113
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 673
unit: public void setVariableRenamerFactory()
file: meta/src/main/java/org/arend/lib/StdExtension.java
start line: 116
end line: 118
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 674
unit: public StdGoalSolver()
file: meta/src/main/java/org/arend/lib/goal/StdGoalSolver.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 675
unit: public ConstructorGoalSolver()
file: meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 676
unit: public boolean isApplicable()
file: meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java
start line: 44
end line: 46
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 677
unit: public NamedParameter()
file: meta/src/main/java/org/arend/lib/util/NamedParameter.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 678
unit: public ComMonoidWP()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 17
end line: 19
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 679
unit: private static Monomial wordToMonomial()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 680
unit: private static List monomialToWord()
file: meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java
start line: 63
end line: 65
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 681
unit: public GroebnerIM()
file: meta/src/main/java/org/arend/lib/util/algorithms/idealmem/GroebnerIM.java
start line: 13
end line: 15
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 682
unit: public boolean isZero()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 44
end line: 46
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 683
unit: public int hashCode()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 57
end line: 59
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 684
unit: public Ring ring()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 78
end line: 80
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 685
unit: public int numVars()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 82
end line: 84
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 686
unit: public Monomial leadingTerm()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 86
end line: 88
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 687
unit: public Poly subtr()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 96
end line: 98
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 688
unit: public Poly subtr()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 100
end line: 102
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 689
unit: public Poly add()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java
start line: 104
end line: 106
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 690
unit: static  E negUnit()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 22
end line: 24
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 691
unit: public BigInteger add()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 28
end line: 30
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 692
unit: public BigInteger subtr()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 33
end line: 35
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 693
unit: public BigInteger mul()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 694
unit: public BigInteger unit()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 695
unit: public BigInteger zero()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 48
end line: 50
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 696
unit: public int cmp()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 53
end line: 55
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 697
unit: public BigInteger lcm()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java
start line: 64
end line: 66
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 698
unit: public int hashCode()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 65
end line: 67
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 699
unit: public Monomial mul()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 107
end line: 109
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 700
unit: public int numVars()
file: meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java
start line: 111
end line: 113
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 701
unit: protected DefImplInstanceSearchParameters()
file: meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java
start line: 20
end line: 22
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 702
unit: public CoreClassField getRelationField()
file: meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 703
unit: public Maybe()
file: meta/src/main/java/org/arend/lib/util/Maybe.java
start line: 8
end line: 10
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 704
unit: public int hashCode()
file: meta/src/main/java/org/arend/lib/util/Maybe.java
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 705
unit: public Lazy()
file: meta/src/main/java/org/arend/lib/util/Lazy.java
start line: 9
end line: 11
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 706
unit: protected boolean matches()
file: meta/src/main/java/org/arend/lib/util/Values.java
start line: 31
end line: 33
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 707
unit: public E getValue()
file: meta/src/main/java/org/arend/lib/util/Values.java
start line: 44
end line: 46
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 708
unit: public List getValues()
file: meta/src/main/java/org/arend/lib/util/Values.java
start line: 48
end line: 50
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 709
unit: public static List getArgumentList()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 41
end line: 43
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 710
unit: public static  T tryTypecheck()
file: meta/src/main/java/org/arend/lib/util/Utils.java
start line: 226
end line: 228
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 711
unit: public SubexprOccurrences()
file: meta/src/main/java/org/arend/lib/meta/equation/EquationSolver.java
start line: 43
end line: 44
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 712
unit: public CompositeTerm()
file: meta/src/main/java/org/arend/lib/meta/equation/term/CompositeTerm.java
start line: 12
end line: 13
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 713
unit: public SimplifyExpressionProcessor()
file: meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java
start line: 57
end line: 59
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 714
unit: private record MyCompiledTerm()
file: meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java
start line: 71
end line: 71
size: 1 LOC
McCabe index: 1
number of parameters: 3

id: 715
unit: private record Negation()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 73
end line: 73
size: 1 LOC
McCabe index: 1
number of parameters: 4

id: 716
unit: private record Edge()
file: meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java
start line: 288
end line: 288
size: 1 LOC
McCabe index: 1
number of parameters: 5