DIRECTORY
	ThreeC4FlowGraphAbGramDef,
	ThreeC4BasicAbTypesDef;

ThreeC4FlowGraphAbGramImpl: CEDAR PROGRAM IMPORTS ThreeC4FlowGraphAbGramDef EXPORTS ThreeC4FlowGraphAbGramDef= 
BEGIN
OPEN ThreeC4FlowGraphAbGramDef, ThreeC4BasicAbTypesDef;

-- DamageShareAssertionsemptyProd

DamageShareAssertionsemptyProdProcs: PUBLIC DamageShareAssertionsNodeProcs _
	NEW[DamageShareAssertionsNodeProcsBody _ [DamageShareAssertionsemptyProdFormRecordOfDamageShareAssertion]];

BuildDamageShareAssertionsemptyProdNode: PUBLIC PROC[position: INT, length: INT]
	RETURNS[DamageShareAssertionsNode] =
		BEGIN
		RETURN[NEW[DamageShareAssertionsNodeBody_[position, length, DamageShareAssertionsemptyProdProcs, NIL]]];
		END;


-- DamageShareAssertionsmanyProd

DamageShareAssertionsmanyProdProcs: PUBLIC DamageShareAssertionsNodeProcs _
	NEW[DamageShareAssertionsNodeProcsBody _ [DamageShareAssertionsmanyProdFormRecordOfDamageShareAssertion]];

BuildDamageShareAssertionsmanyProdNode: PUBLIC PROC[position: INT, length: INT, DamageShareAssertions: DamageShareAssertionsNode, DamageShareAssertion: DamageShareAssertionNode]
	RETURNS[DamageShareAssertionsNode] =
		BEGIN
		data: DamageShareAssertionsmanyProdData _
			NEW[DamageShareAssertionsmanyProdDataBody_[
			DamageShareAssertions, DamageShareAssertion]];
		RETURN[NEW[DamageShareAssertionsNodeBody_[position, length, DamageShareAssertionsmanyProdProcs, data]]];
		END;


-- DamageShareAssertiondamagedRepsProd

DamageShareAssertiondamagedRepsProdProcs: PUBLIC DamageShareAssertionNodeProcs _
	NEW[DamageShareAssertionNodeProcsBody _ [DamageShareAssertiondamagedRepsProdFormRecordOfDamageShareAssertion]];

BuildDamageShareAssertiondamagedRepsProdNode: PUBLIC PROC[position: INT, length: INT, ModIdList: ModIdListNode]
	RETURNS[DamageShareAssertionNode] =
		BEGIN
		data: DamageShareAssertiondamagedRepsProdData _
			NEW[DamageShareAssertiondamagedRepsProdDataBody_[
			ModIdList]];
		RETURN[NEW[DamageShareAssertionNodeBody_[position, length, DamageShareAssertiondamagedRepsProdProcs, data]]];
		END;


-- DamageShareAssertionsharedRepsProd

DamageShareAssertionsharedRepsProdProcs: PUBLIC DamageShareAssertionNodeProcs _
	NEW[DamageShareAssertionNodeProcsBody _ [DamageShareAssertionsharedRepsProdFormRecordOfDamageShareAssertion]];

BuildDamageShareAssertionsharedRepsProdNode: PUBLIC PROC[position: INT, length: INT, ModIdList: ModIdListNode]
	RETURNS[DamageShareAssertionNode] =
		BEGIN
		data: DamageShareAssertionsharedRepsProdData _
			NEW[DamageShareAssertionsharedRepsProdDataBody_[
			ModIdList]];
		RETURN[NEW[DamageShareAssertionNodeBody_[position, length, DamageShareAssertionsharedRepsProdProcs, data]]];
		END;

END..