[PPL-devel] [GIT] ppl/ppl(pip): Added implementation of child accessors.

[Abramo Bagnara]

Module: ppl/ppl
Branch: pip
Commit: 4febc2ae85b507ee1bbe4ceb295352d44c39158f
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b507ee1bbe4ceb295352d44c39158f

Author: Abramo Bagnara <abramo.bagnara at 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)