/usr/include/polybori/polybori.h is in libbrial-dev 1.2.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | // -*- c++ -*-
//*****************************************************************************
/** @file include/polybori/polybori.h
*
* @author Alexander Dreyer
* @date 2006-03-06
*
* This file includes all header files, which are necessary
* for using the polybori lib.
*
* @par Copyright:
* (c) 2006 by The PolyBoRi Team
**/
//*****************************************************************************
#ifndef polybori_polybori_h_
#define polybori_polybori_h_
#include "BooleSet.h"
#include "BoolePolyRing.h"
#include "BooleEnv.h"
#include "BoolePolynomial.h"
#include "BooleMonomial.h"
#include "BooleVariable.h"
#include "BooleExponent.h"
#include "ring/WeakRingPtr.h"
#include "except/PBoRiError.h"
#include "except/PBoRiGenericError.h"
#include "iterators/CGenericIter.h"
#include "iterators/CExpIter.h"
#include "routines/pbori_algorithms.h"
#include "orderings/pbori_order.h"
#include "orderings/pbori_order.h"
#include "factories/MonomialFactory.h"
#include "factories/PolynomialFactory.h"
#include "factories/SetFactory.h"
#include "factories/VariableBlock.h"
#include "factories/VariableFactory.h"
#endif // of #ifndef polybori_polybori_h_
|