Method n_inner

gecode/int/task/tree.hpp:51–54

  template<class TaskView, class Node>
  forceinline int
  TaskTree<TaskView,Node>::n_inner(void) const {
    return tasks.size()-1;
  }
  template<class TaskView, class Node>
  forceinline int
  TaskTree<TaskView,Node>::n_nodes(void) const {