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.

---