Provided by: libcanna1g-dev_3.7p3-12_amd64
RkEnlarge - enlarge the reading of the current clause
#include <canna/RK.h> int RkEnlarge(cxnum) int cxnum;
RkEnlarge enlarges the reading of the current clause. It does nothing when the reading exceeds a limit length.
This function returns the number of clauses derived by conversion. RKENLARGE(3)