
/*******************************************************/
/* CUDF solver: criteria.h                             */
/* gather all criteria related include files           */
/* (c) Claude Michel I3S (UNSA-CNRS) 2009,2010,2011    */
/*******************************************************/



#ifndef _CRITERIA_H_
#define _CRITERIA_H_

#include <cudf.h>
#include <abstract_solver.h>
#include <abstract_criteria.h>

#include <removed_criteria.h>
#include <changed_criteria.h>
#include <notuptodate_criteria.h>
#include <new_criteria.h>
//#include <nunsat_criteria.h>

#include <count_criteria.h>
//#include <unaligned_criteria.h>

#include <lexagregate_combiner.h>
//#include <agregate_combiner.h>

#endif

