154 lines
6.8 KiB
C++
154 lines
6.8 KiB
C++
/* -------------------------------------------------------------------------- *
|
|
* Lepton *
|
|
* -------------------------------------------------------------------------- *
|
|
* This is part of the Lepton expression parser originating from *
|
|
* Simbios, the NIH National Center for Physics-Based Simulation of *
|
|
* Biological Structures at Stanford, funded under the NIH Roadmap for *
|
|
* Medical Research, grant U54 GM072970. See https://simtk.org. *
|
|
* *
|
|
* Portions copyright (c) 2009-2021 Stanford University and the Authors. *
|
|
* Authors: Peter Eastman *
|
|
* Contributors: *
|
|
* *
|
|
* Permission is hereby granted, free of charge, to any person obtaining a *
|
|
* copy of this software and associated documentation files (the "Software"), *
|
|
* to deal in the Software without restriction, including without limitation *
|
|
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
|
|
* and/or sell copies of the Software, and to permit persons to whom the *
|
|
* Software is furnished to do so, subject to the following conditions: *
|
|
* *
|
|
* The above copyright notice and this permission notice shall be included in *
|
|
* all copies or substantial portions of the Software. *
|
|
* *
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
|
|
* THE AUTHORS, CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, *
|
|
* DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR *
|
|
* OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE *
|
|
* USE OR OTHER DEALINGS IN THE SOFTWARE. *
|
|
* -------------------------------------------------------------------------- */
|
|
|
|
#include "lepton/ExpressionTreeNode.h"
|
|
#include "lepton/Exception.h"
|
|
#include "lepton/Operation.h"
|
|
#include <utility>
|
|
|
|
using namespace Lepton;
|
|
using namespace std;
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode(Operation* operation, const vector<ExpressionTreeNode>& children) : operation(operation), children(children) {
|
|
if (operation->getNumArguments() != (int)children.size())
|
|
throw Exception("wrong number of arguments to function: "+operation->getName());
|
|
}
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode(Operation* operation, const ExpressionTreeNode& child1, const ExpressionTreeNode& child2) : operation(operation) {
|
|
children.push_back(child1);
|
|
children.push_back(child2);
|
|
if (operation->getNumArguments() != (int)children.size())
|
|
throw Exception("wrong number of arguments to function: "+operation->getName());
|
|
}
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode(Operation* operation, const ExpressionTreeNode& child) : operation(operation) {
|
|
children.push_back(child);
|
|
if (operation->getNumArguments() != (int)children.size())
|
|
throw Exception("wrong number of arguments to function: "+operation->getName());
|
|
}
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode(Operation* operation) : operation(operation) {
|
|
if (operation->getNumArguments() != (int)children.size())
|
|
throw Exception("wrong number of arguments to function: "+operation->getName());
|
|
}
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode(const ExpressionTreeNode& node) : operation(node.operation == NULL ? NULL : node.operation->clone()), children(node.getChildren()) {
|
|
}
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode(ExpressionTreeNode&& node) : operation(node.operation), children(std::move(node.children)) {
|
|
node.operation = NULL;
|
|
node.children.clear();
|
|
}
|
|
|
|
ExpressionTreeNode::ExpressionTreeNode() : operation(NULL) {
|
|
}
|
|
|
|
ExpressionTreeNode::~ExpressionTreeNode() {
|
|
if (operation != NULL)
|
|
delete operation;
|
|
}
|
|
|
|
bool ExpressionTreeNode::operator!=(const ExpressionTreeNode& node) const {
|
|
if (node.getOperation() != getOperation())
|
|
return true;
|
|
if (getOperation().isSymmetric() && getChildren().size() == 2) {
|
|
if (getChildren()[0] == node.getChildren()[0] && getChildren()[1] == node.getChildren()[1])
|
|
return false;
|
|
if (getChildren()[0] == node.getChildren()[1] && getChildren()[1] == node.getChildren()[0])
|
|
return false;
|
|
return true;
|
|
}
|
|
for (int i = 0; i < (int) getChildren().size(); i++)
|
|
if (getChildren()[i] != node.getChildren()[i])
|
|
return true;
|
|
return false;
|
|
}
|
|
|
|
bool ExpressionTreeNode::operator==(const ExpressionTreeNode& node) const {
|
|
return !(*this != node);
|
|
}
|
|
|
|
ExpressionTreeNode& ExpressionTreeNode::operator=(const ExpressionTreeNode& node) {
|
|
if (operation != NULL)
|
|
delete operation;
|
|
operation = node.getOperation().clone();
|
|
children = node.getChildren();
|
|
return *this;
|
|
}
|
|
|
|
ExpressionTreeNode& ExpressionTreeNode::operator=(ExpressionTreeNode&& node) {
|
|
if (operation != NULL)
|
|
delete operation;
|
|
operation = node.operation;
|
|
children = std::move(node.children);
|
|
node.operation = NULL;
|
|
node.children.clear();
|
|
return *this;
|
|
}
|
|
|
|
const Operation& ExpressionTreeNode::getOperation() const {
|
|
return *operation;
|
|
}
|
|
|
|
const vector<ExpressionTreeNode>& ExpressionTreeNode::getChildren() const {
|
|
return children;
|
|
}
|
|
|
|
void ExpressionTreeNode::assignTags(vector<const ExpressionTreeNode*>& examples) const {
|
|
// Assign tag values to all nodes in a tree, such that two nodes have the same
|
|
// tag if and only if they (and all their children) are equal. This is used to
|
|
// optimize other operations.
|
|
|
|
int numTags = examples.size();
|
|
for (const ExpressionTreeNode& child : getChildren())
|
|
child.assignTags(examples);
|
|
if (numTags == (int)examples.size()) {
|
|
// All the children matched existing tags, so possibly this node does too.
|
|
|
|
for (int i = 0; i < (int)examples.size(); i++) {
|
|
const ExpressionTreeNode& example = *examples[i];
|
|
bool matches = (getChildren().size() == example.getChildren().size() && getOperation() == example.getOperation());
|
|
for (int j = 0; matches && j < (int)getChildren().size(); j++)
|
|
if (getChildren()[j].tag != example.getChildren()[j].tag)
|
|
matches = false;
|
|
if (matches) {
|
|
tag = i;
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
|
|
// This node does not match any previous node, so assign a new tag.
|
|
|
|
tag = examples.size();
|
|
examples.push_back(this);
|
|
}
|