disjuncts2.c File Reference

Go to the source code of this file.

Functions
	if (P >=Q+1||Q >=P+1) for(int c0=0

Function Documentation

if()

if ( P >=Q+1||Q >=P+ 1 )

pure virtual

References c0, and N().