/*******************************************************************************
 *
 * File:     Abstraction.cpp
 *
 * Contents: Implementation of ABstraction.
 *
 * Copyright 2017
 *
 * Author: David Juhasz (david.juhasz@tuwien.ac.at)
 *
 ******************************************************************************/

#include "rosa/agent/Abstraction.hpp"

// NOTE: Empty implementation, source file here to have a compile database
// entry for Abstraction.