/usr/include/pynac/assume.h is in libpynac-dev 0.6.0-1.
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 | /*
* File: assume.h
* Author: Ralf Stephan <ralf@ark.in-berlin.de>
*
* Created on August 5, 2015, 7:22 AM
*/
#ifndef ASSUME_H
#define ASSUME_H
namespace GiNaC {
void assume(ex rel);
void assume(ex x, char* flag_desc);
void forget(ex rel);
void forget(ex x, char* flag_desc);
} // namespace GiNaC
#endif /* ASSUME_H */
|