/*   2010 (C) Jussi Rintanen   */

void fprintplan(FILE *,satinstance);
void printplanT(satinstance);	/* Print action and state variables. */
void printplanV(satinstance);	/* Print state variables only. */
void printTlit(satinstance,int);
void printUvar(int);