Checkpoints.h File Reference

#include "../config.h"
#include <carl-checkpoints/Checkpoints.h>

Include dependency graph for Checkpoints.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_ADD_CHECKPOINT(channel, description, forced, ...)
#define	SMTRAT_CHECKPOINT(channel, description, ...)
#define	SMTRAT_CLEAR_CHECKPOINT(channel)

Macro Definition Documentation

SMTRAT_ADD_CHECKPOINT

#define SMTRAT_ADD_CHECKPOINT	(		channel,
			description,
			forced,
			...
	)

Definition at line 12 of file Checkpoints.h.

SMTRAT_CHECKPOINT

#define SMTRAT_CHECKPOINT	(		channel,
			description,
			...
	)

Definition at line 13 of file Checkpoints.h.

SMTRAT_CLEAR_CHECKPOINT

#define SMTRAT_CLEAR_CHECKPOINT

(

channel

)

Definition at line 14 of file Checkpoints.h.