// -*- mode: c++ -*-
//
//  Copyright(C) 2010-2013 Taro Watanabe <taro.watanabe@nict.go.jp>
//

#ifndef __CICADA__APPLY__HPP__
#define __CICADA__APPLY__HPP__ 1

#include <cicada/apply_cube_prune.hpp>
#include <cicada/apply_cube_prune_diverse.hpp>
#include <cicada/apply_cube_prune_rejection.hpp>
#include <cicada/apply_cube_grow.hpp>
#include <cicada/apply_cube_grow_coarse.hpp>
#include <cicada/apply_exact.hpp>
#include <cicada/apply_incremental.hpp>
#include <cicada/apply_state_less.hpp>

#endif
