search_node.cc File Reference

#include <coconut_config.h>
#include <search_node.h>
#include <infeasible_delta.h>
#include <graphorder.h>

Include dependency graph for search_node.cc:

Go to the source code of this file.


Namespaces

namespace  coco
 the main namespace of the COCONUT API

Defines

#define MAX_VOL_COMP   1.e12
#define MIN_VOL_WIDTH   DBL_MIN

Functions

work_node coco::operator- (const work_node &_w, const delta_id &_d)
 Remove one delta from a work node.
work_node & coco::operator-= (work_node &_w, const delta_id &_d)
 Remove one delta from a work node.


Detailed Description

Definition in file search_node.cc.


Define Documentation

#define MAX_VOL_COMP   1.e12

Definition at line 268 of file search_node.cc.

#define MIN_VOL_WIDTH   DBL_MIN

Definition at line 269 of file search_node.cc.


Generated on Tue Feb 9 14:46:57 2010 for COCONUT API by  doxygen 1.5.8