
/*******************************************************/
/* 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

