PBPPSettings.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::PBPPSettingsBase
struct	smtrat::PBPPSettingsLIAOnly
struct	smtrat::PBPPSettings1
struct	smtrat::PBPPSettingsLIAOnlyWithNormalize
struct	smtrat::PBPPSettingsWithNormalize
struct	smtrat::PBPPSettingsCardinalityOnly20
struct	smtrat::PBPPSettingsCardinalityOnly05
struct	smtrat::PBPPSettingsFull20
struct	smtrat::PBPPSettingsFull05
struct	smtrat::PBPPSettingsCardinalityOnly20Normalize
struct	smtrat::PBPPSettingsCardinalityOnly05Normalize
struct	smtrat::PBPPSettingsWithRNS
struct	smtrat::PBPPSettingsWithCardConstr
struct	smtrat::PBPPSettingsWithMixedConstr
struct	smtrat::PBPPSettingsBasic
struct	smtrat::PBPPSettingsMaxSMT

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

Author

YOUR NAME <YOUR EMAIL ADDRESS>

Version

2016-11-23 Created on 2016-11-23.

Definition in file PBPPSettings.h.