Attachment #179386 for bug #251442

View | Details | Raw Unified | Return to bug 251442
Collapse All | Expand All

Lines 26-33 College of William and Mary Link Here

(-)ITVal-1.0b/FDDL/api.cc (-1 / +1 lines)
26	Williamsburg, VA 23185	26	Williamsburg, VA 23185
27	*/	27	*/
28		28
29	#include <stdio.h>
30	#include <assert.h>	29	#include <assert.h>
		30	#include <climits>
31	#include <FDDL/mdd.h>	31	#include <FDDL/mdd.h>
32		32
33	#define MAX(a, b) (a>b ? a : b)	33	#define MAX(a, b) (a>b ? a : b)

Lines 135-141 class fw_fddl_forest:public fddl_forest Link Here

(-)ITVal-1.0b/src/fwmdd.h (-1 / +1 lines)
135	int InternalGetServiceArcs(level k, node_idx p, int* src, int* dst,	135	int InternalGetServiceArcs(level k, node_idx p, int* src, int* dst,
136	int* low, int* high, service*&output, int& numArcs);	136	int* low, int* high, service*&output, int& numArcs);
137	void PrintPort (mdd_handle h, level k);	137	void PrintPort (mdd_handle h, level k);
138	int PrintPort (level k, node_idx p, int highByte, int depth, portset * p);	138	int PrintPort (level k, node_idx p, int highByte, int depth, portset * ps);
139	};	139	};
140		140
141	#endif	141	#endif

Return to bug 251442