UsingDeclarations.h

Go to the documentation of this file.

/* 
 * File:   UsingDeclarations.h
 * Author: Sebastian Junges
 *
 * Created on January 7, 2013, 3:28 PM
 */
 
#pragma once
 
#include <smtrat-common/smtrat-common.h>
#include <carl-arith/poly/umvpoly/Term.h>
 
typedef carl::BitVector BitVector;