Validation.h File Reference

#include "../config.h"
#include "ValidationCollector.h"
#include "ValidationSettings.h"

Include dependency graph for Validation.h:

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

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.

Macros
#define	SMTRAT_VALIDATION_INIT(channel, variable)
#define	SMTRAT_VALIDATION_INIT_STATIC(channel, variable)
#define	SMTRAT_VALIDATION_ADD_TO(variable, name, formula, consistent)
#define	SMTRAT_VALIDATION_ADD(channel, name, formula, consistent)

Functions
auto &	smtrat::validation_get (const std::string &channel, const std::string &file, int line)

Macro Definition Documentation

SMTRAT_VALIDATION_ADD

#define SMTRAT_VALIDATION_ADD	(		channel,
			name,
			formula,
			consistent
	)

Definition at line 26 of file Validation.h.

SMTRAT_VALIDATION_ADD_TO

#define SMTRAT_VALIDATION_ADD_TO	(		variable,
			name,
			formula,
			consistent
	)

Definition at line 25 of file Validation.h.

SMTRAT_VALIDATION_INIT

#define SMTRAT_VALIDATION_INIT	(		channel,
			variable
	)

Definition at line 23 of file Validation.h.

SMTRAT_VALIDATION_INIT_STATIC

#define SMTRAT_VALIDATION_INIT_STATIC	(		channel,
			variable
	)

Definition at line 24 of file Validation.h.