C++ (Cpp) bdd_highの例

コード例 #1

ファイル: muddy.c プロジェクト: cloudeyes/zooberry

int printbdd(BDD b)
{
	if (b==0)
		return 0;
	if (b==1)
		return 1;
	int z;
	z = printbdd(bdd_high(b));
	if (z)
	{
		printf("1");
		return 1;
	}
	else
	{
		z = printbdd(bdd_low(b));
		if (z)
		{
			printf("0");
			return 1;
		}
	}
	return 0;
}

コード例 #2

ファイル: muddy.c プロジェクト: Armael/HOL

/* ML type: bdd -> bdd */
EXTERNML value mlbdd_bdd_high(value r) /* ML */
{
  return mlbdd_make(bdd_high(Bdd_val(r)));
}