//===-- apps/ccam/ccam.cpp --------------------------------------*- C++ -*-===//
//
//                 The RoSA Framework -- Application CCAM
//
//===----------------------------------------------------------------------===//
///
/// \file apps/ccam/ccam.cpp
///
/// \author Maximilian Goetzinger (maximilian.goetzinger@tuwien.ac.at)
///
/// \date 2019
///
/// \brief The application CCAM implements the case study from the paper:
/// M. Goetzinger, N. TaheriNejad, H. A. Kholerdi, A. Jantsch, E. Willegger,
/// T. Glatzl, A.M. Rahmani, T.Sauter, P. Liljeberg: Model - Free Condition
/// Monitoring with Confidence
//===----------------------------------------------------------------------===//

#include "rosa/agent/StateDetector.hpp"

#include <iostream>

int main(void) {

  // Just some tests :D
  std::vector vec = {7, 3, 5, 1, 9};

  std::sort(vec.rbegin(), vec.rend());
  // std::reverse(vec.begin(), vec.end());

  for (auto it = vec.cbegin(); it != vec.cend(); ++it) {
    std::cout << *it << ' ';
  }

  return 0;
}