Module: ppl/ppl Branch: pip Commit: 4febc2ae85b507ee1bbe4ceb295352d44c39158f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b50...
Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Jun 14 22:58:15 2009 +0200
Added implementation of child accessors.
---
src/PIP_Tree.inlines.hh | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-)
diff --git a/src/PIP_Tree.inlines.hh b/src/PIP_Tree.inlines.hh index 8089917..49bc42a 100644 --- a/src/PIP_Tree.inlines.hh +++ b/src/PIP_Tree.inlines.hh @@ -29,6 +29,18 @@ inline PIP_Tree_Node::~PIP_Tree_Node() { }
+inline +const PIP_Tree_Node* +PIP_Decision_Node::child_node(bool v) const { + return v ? true_child : false_child; +} + +inline +PIP_Tree_Node* +PIP_Decision_Node::child_node(bool v) { + return v ? true_child : false_child; +} + } // namespace Parma_Polyhedra_Library
#endif // !defined(PPL_PIP_Tree_inlines_hh)