testers.h File Reference

#include "libicl.h"

Go to the source code of this file.

Functions

int oaa_is_public_solvable (ICLTerm *inTerm)
int oaa_is_data_solvable (ICLTerm *inTerm)


Detailed Description

Definition in file testers.h.


Function Documentation

int oaa_is_data_solvable ( ICLTerm inTerm  ) 

Definition at line 28 of file testers.c.

int oaa_is_public_solvable ( ICLTerm inTerm  ) 

Definition at line 23 of file testers.c.


Generated on Wed May 23 17:20:17 2007 using doxygen 1.5.2