Compare commits
6 Commits
german_cos
...
german_cos
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
c07326bbfd | ||
|
|
98b15c8cfd | ||
|
|
fc4d8b8625 | ||
|
|
86f3099622 | ||
|
|
f8f7084bf2 | ||
|
|
fe74d7dc35 |
@@ -89,10 +89,10 @@ lE =
|
||||
maxDepth = 9,
|
||||
weights =
|
||||
ExpressionWeights
|
||||
{ lambdaSpucker = 1,
|
||||
lambdaSchlucker = 2,
|
||||
symbol = 30,
|
||||
variable = 10,
|
||||
{ lambdaSpucker = 10,
|
||||
lambdaSchlucker = 1,
|
||||
symbol = 20,
|
||||
variable = 100,
|
||||
constant = 5
|
||||
}
|
||||
}
|
||||
|
||||
@@ -56,10 +56,10 @@ lE =
|
||||
maxDepth = 9,
|
||||
weights =
|
||||
ExpressionWeights
|
||||
{ lambdaSpucker = 1,
|
||||
lambdaSchlucker = 2,
|
||||
symbol = 30,
|
||||
variable = 10,
|
||||
{ lambdaSpucker = 10,
|
||||
lambdaSchlucker = 1,
|
||||
symbol = 20,
|
||||
variable = 100,
|
||||
constant = 5
|
||||
}
|
||||
}
|
||||
|
||||
@@ -77,10 +77,10 @@ lE =
|
||||
maxDepth = 9,
|
||||
weights =
|
||||
ExpressionWeights
|
||||
{ lambdaSpucker = 1,
|
||||
lambdaSchlucker = 2,
|
||||
symbol = 30,
|
||||
variable = 10,
|
||||
{ lambdaSpucker = 10,
|
||||
lambdaSchlucker = 1,
|
||||
symbol = 20,
|
||||
variable = 100,
|
||||
constant = 5
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user