/*
	FILE:	MG_DC_Method_Pent.c

	AUTHOR:	Brent H. Pease

	CREATED: Sept 18, 1997

	PURPOSE: 
	
	Copyright 1997

*/

#include "BFW.h"
#include "BFW_Motoko.h"
#include "BFW_BitVector.h"

#include "Motoko_Manager.h"

#include "RV_DC_Private.h"
#include "RV_DC_Method_Triangle.h"
#include "RV_DC_Method_State.h"
#include "RV_DC_Method_Pent.h"

