/*
 * AtomIdValidator.hpp
 *
 *  Created on: May 10, 2012
 *      Author: heber
 */

#ifndef ATOMIDVALIDATOR_HPP_
#define ATOMIDVALIDATOR_HPP_


// include config.h
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

#include "types.hpp"

#include "Parameters/Validators/DummyValidator.hpp"

/** This validators checks whether the given atomic id is present in the World.
 *
 */
class AtomIdValidator : public DummyValidator<atomId_t>
{};


#endif /* ATOMIDVALIDATOR_HPP_ */