testers.c

SRI international 发布的OAA框架软件

#include "testers.h"

int oaa_is_public_solvable(ICLTerm* inTerm) {
  (void)inTerm;
  return TRUE;
}

int oaa_is_data_solvable(ICLTerm* inTerm) {
  (void)inTerm;
  return TRUE;
}


/**
 * @defgroup Testers Testers
 *
 * Some text about this module.
 *
 * @{
 */

/**
 * @file testers.h
 */

/**
 * @file testers.c
 */

/** @} */