IntBlastSettings.h File Reference

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

Go to the source code of this file.

Data Structures
struct	smtrat::IntBlastSettings1
struct	smtrat::IntBlastSettings2

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

Author

Andreas Krueger andre.nosp@m.as.k.nosp@m.ruege.nosp@m.r@rw.nosp@m.th-aa.nosp@m.chen.nosp@m..de

Florian Corzilius corzi.nosp@m.lius.nosp@m.@cs.r.nosp@m.wth-.nosp@m.aache.nosp@m.n.de

Definition in file IntBlastSettings.h.