smtrat::AxiomFactory Class Reference

#include <AxiomFactory.h>

Public Types
enum	AxiomType {   ZERO , TANGENT_PLANE , MONOTONICITY , CONGRUENCE ,   ICP }

Static Public Member Functions
static FormulasT	createFormula (AxiomType axiomType, Model linearizedModel, MonomialMap monomialMap)

Detailed Description

Definition at line 19 of file AxiomFactory.h.

Member Enumeration Documentation

AxiomType

enum smtrat::AxiomFactory::AxiomType

Enumerator
ZERO
TANGENT_PLANE
MONOTONICITY
CONGRUENCE
ICP

Definition at line 22 of file AxiomFactory.h.

Member Function Documentation

createFormula()

FormulasT smtrat::AxiomFactory::createFormula ( AxiomType  axiomType, Model  linearizedModel, MonomialMap  monomialMap  )

static

Definition at line 890 of file AxiomFactory.cpp.

Here is the call graph for this function:

---

The documentation for this class was generated from the following files:

• smtrat-modules/NRAILModule/factory/AxiomFactory.h
• smtrat-modules/NRAILModule/factory/AxiomFactory.cpp