C++ (Cpp) tcNewSat Beispiele

Beispiel #1

Datei: tposs.c Projekt: dokterp/aldor

local Bool
tpossIsPending(TPoss tp, TForm t)
{
	Bool	result = false;

	if (tpossIsUnique(tp)) {
		TForm	S = tpossUnique(tp);

		tcSatPush(S, t);

		if (tfIsPending(S)) {
			tcNewSat(S, S, t, NULL);
			result = true;
		}
		if (tfIsPending(t)) {
			tcNewSat(t, S, t, NULL);
			result = true;
		}

		tcSatPop();
	}

	return result;
}

Beispiel #2

Datei: tconst.c Projekt: hemmecke/aldor

void
tcSatPush(TForm S, TForm T)
{
	tcNewSat(NULL, NULL, S, T, NULL);
}