UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-30 12:10:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

[poincare] Factor asserts in Expression::replaceUnknown

Browse Source
This commit is contained in:
Ruben Dashyan
2019-09-13 15:51:19 +02:00
committed by EmilieNumworks
parent 76e0f78c53
commit 7d5f9d0aca
3 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
poincare/src/expression.cpp
View File

@@ -417,6 +417,8 @@ int Expression::getPolynomialReducedCoefficients(const char * symbolName, Expres
}
Expression Expression::replaceUnknown(const Symbol & symbol, const Symbol & unknownSymbol) {
assert(!symbol.isUninitialized());
assert(symbol.type() == ExpressionNode::Type::Symbol);
return node()->replaceUnknown(symbol, unknownSymbol);
}

3
poincare/src/parametered_expression.cpp
View File

@@ -10,9 +10,6 @@ Expression ParameteredExpressionNode::replaceUnknown(const Symbol & symbol, cons
}
Expression ParameteredExpression::replaceUnknown(const Symbol & symbolToReplace, const Symbol & unknownSymbol) {
assert(!symbolToReplace.isUninitialized());
assert(symbolToReplace.type() == ExpressionNode::Type::Symbol);
Expression c = childAtIndex(ParameterChildIndex());
assert(c.type() == ExpressionNode::Type::Symbol);
Symbol& parameterChild = static_cast<Symbol &>(c);

2
poincare/src/symbol.cpp
View File

@@ -210,8 +210,6 @@ Expression Symbol::replaceSymbolWithExpression(const SymbolAbstract & symbol, co
}
Expression Symbol::replaceUnknown(const Symbol & symbol, const Symbol & unknownSymbol) {
assert(!symbol.isUninitialized());
assert(symbol.type() == ExpressionNode::Type::Symbol);
assert(unknownSymbol.type() == ExpressionNode::Type::Symbol);
return replaceSymbolWithExpression(symbol, unknownSymbol);
}