1
0
Fork 0

removed unused code

This commit is contained in:
Jan Steemann 2014-09-17 11:25:06 +02:00
parent 654c2ba0fe
commit ebb7db28d1
2 changed files with 0 additions and 42 deletions

View File

@ -79,25 +79,6 @@ triagens::basics::Json Variable::toJson () const {
/// @brief replace a variable by another
////////////////////////////////////////////////////////////////////////////////
Variable* Variable::replace (Variable* variable,
std::unordered_map<VariableId, Variable const*> const& replacements) {
while (variable != nullptr) {
auto it = replacements.find(variable->id);
if (it != replacements.end()) {
variable = const_cast<Variable*>((*it).second);
}
else {
break;
}
}
return variable;
}
////////////////////////////////////////////////////////////////////////////////
/// @brief replace a variable by another
////////////////////////////////////////////////////////////////////////////////
Variable const* Variable::replace (Variable const* variable,
std::unordered_map<VariableId, Variable const*> const& replacements) {
while (variable != nullptr) {
@ -113,15 +94,6 @@ Variable const* Variable::replace (Variable const* variable,
return variable;
}
////////////////////////////////////////////////////////////////////////////////
/// @brief compares two variables, using their ids
////////////////////////////////////////////////////////////////////////////////
bool Variable::Comparator (Variable const* l,
Variable const* r) {
return l->id < r->id;
}
// -----------------------------------------------------------------------------
// --SECTION-- END-OF-FILE
// -----------------------------------------------------------------------------

View File

@ -107,13 +107,6 @@ namespace triagens {
triagens::basics::Json toJson () const;
////////////////////////////////////////////////////////////////////////////////
/// @brief replace a variable by another
////////////////////////////////////////////////////////////////////////////////
static Variable* replace (Variable*,
std::unordered_map<VariableId, Variable const*> const&);
////////////////////////////////////////////////////////////////////////////////
/// @brief replace a variable by another
////////////////////////////////////////////////////////////////////////////////
@ -121,13 +114,6 @@ namespace triagens {
static Variable const* replace (Variable const*,
std::unordered_map<VariableId, Variable const*> const&);
////////////////////////////////////////////////////////////////////////////////
/// @brief compares two variables, using their ids
////////////////////////////////////////////////////////////////////////////////
static bool Comparator (Variable const*,
Variable const*);
// -----------------------------------------------------------------------------
// --SECTION-- public variables
// -----------------------------------------------------------------------------