compile_information.h File Reference

#include <iostream>
#include <string>

Include dependency graph for compile_information.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::CMakeOptionPrinter

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::compile_information
	Compile time generated information about compiler and system version.

Functions
constexpr CMakeOptionPrinter	smtrat::CMakeOptions (bool advanced=false) noexcept
std::ostream &	smtrat::operator<< (std::ostream &os, CMakeOptionPrinter cmop)