typetraits.h

Go to the documentation of this file.

/** 
 * @file   adaption_cln/typetraits.h
 * @ingroup cln
 * @ingroup typetraits
 * @author Sebastian Junges
 * @author Gereon Kremer
 */
 
#pragma once
 
#ifndef INCLUDED_FROM_NUMBERS_H
static_assert(false, "This file may only be included indirectly by numbers.h");
#endif
 
#include "../typetraits.h"
#include "include.h"
 
namespace carl {
 
TRAIT_TRUE(is_integer_type, cln::cl_I, cln);
TRAIT_TRUE(is_rational_type, cln::cl_RA, cln);
 
TRAIT_TYPE(IntegralType, cln::cl_I, cln::cl_I, cln);
TRAIT_TYPE(IntegralType, cln::cl_RA, cln::cl_I, cln);
 
}