+ num_channels_(num_channels)
+{
+ assert(num_channels_ > 0);
+}
+
+unsigned int Logic::num_channels() const
+{
+ return num_channels_;
+}
+
+void Logic::push_segment(shared_ptr<LogicSegment> &segment)
+{
+ segments_.push_back(segment);
+}
+
+const deque< shared_ptr<LogicSegment> >& Logic::logic_segments() const