smtrat::cad::preprocessor::Origins Struct Reference

#include <CADPreprocessor.h>

Collaboration diagram for smtrat::cad::preprocessor::Origins:

Public Member Functions
void	cleanOrigins (const FormulaT &f)
void	add (const FormulaT &f, const std::vector< FormulaT > &origin)
void	remove (const FormulaT &f)
const std::vector< FormulaT > &	get (const FormulaT &f) const
bool	resolve (std::set< FormulaT > &conflict) const

Data Fields
std::map< FormulaT, std::vector< std::vector< FormulaT > > >	mOrigins

Detailed Description

Definition at line 42 of file CADPreprocessor.h.

Member Function Documentation

add()

void smtrat::cad::preprocessor::Origins::add	(	const FormulaT &	f,
		const std::vector< FormulaT > &	origin
	)

Definition at line 33 of file CADPreprocessor.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

cleanOrigins()

void smtrat::cad::preprocessor::Origins::cleanOrigins

(

const FormulaT &

f

)

Definition at line 18 of file CADPreprocessor.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

get()

const std::vector< FormulaT > & smtrat::cad::preprocessor::Origins::get

(

const FormulaT &

f

)

const

Definition at line 57 of file CADPreprocessor.cpp.

Here is the caller graph for this function:

remove()

void smtrat::cad::preprocessor::Origins::remove

(

const FormulaT &

f

)

Definition at line 50 of file CADPreprocessor.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

resolve()

bool smtrat::cad::preprocessor::Origins::resolve

(

std::set< FormulaT > &

conflict

)

const

Definition at line 64 of file CADPreprocessor.cpp.

Here is the caller graph for this function:

Field Documentation

mOrigins

std::map<FormulaT, std::vector<std::vector<FormulaT> > > smtrat::cad::preprocessor::Origins::mOrigins

Definition at line 43 of file CADPreprocessor.h.

---

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

• smtrat-cad/utils/CADPreprocessor.h
• smtrat-cad/utils/CADPreprocessor.cpp