BigattiHilbertAlgorithm Class Reference

#include <BigattiHilbertAlgorithm.h>

Public Member Functions
	BigattiHilbertAlgorithm (auto_ptr< Ideal > ideal, const TermTranslator &translator, const BigattiParams &params, auto_ptr< BigattiPivotStrategy > pivot, CoefBigTermConsumer &consumer)
	Construct an object for running the Bigatti et.al. More...
void	setPrintStatistics (bool value)
void	setPrintDebug (bool value)
void	setUseSimplification (bool value)
void	setDoCanonicalOutput (bool value)
void	setComputeUnivariate (bool value)
void	run ()

Private Member Functions
void	processState (auto_ptr< BigattiState > state)
void	getPivot (BigattiState &state, size_t &var, Exponent &e)
void	simplify (BigattiState &state)
void	freeState (auto_ptr< BigattiState > state)

Private Attributes
size_t	_varCount
const TermTranslator &	_translator
CoefBigTermConsumer *	_consumer
TaskEngine	_tasks
ObjectCache< BigattiState >	_stateCache
Term	_tmp_processState_pivot
Term	_tmp_simplify_gcd
BigattiBaseCase	_baseCase
auto_ptr< BigattiPivotStrategy >	_pivot
bool	_computeUnivariate
BigattiParams	_params

Friends
class	BigattiState

Detailed Description

Definition at line 32 of file BigattiHilbertAlgorithm.h.

Constructor & Destructor Documentation

BigattiHilbertAlgorithm()

BigattiHilbertAlgorithm::BigattiHilbertAlgorithm	(	auto_ptr< Ideal >	ideal,
		const TermTranslator &	translator,
		const BigattiParams &	params,
		auto_ptr< BigattiPivotStrategy >	pivot,
		CoefBigTermConsumer &	consumer
	)

Construct an object for running the Bigatti et.al.

algorithm on ideal. Both translator and consumer must remain valid for the lifetime of this object.

Definition at line 25 of file BigattiHilbertAlgorithm.cpp.

Member Function Documentation

freeState()

void BigattiHilbertAlgorithm::freeState ( auto_ptr< BigattiState >  state )

private

Definition at line 125 of file BigattiHilbertAlgorithm.cpp.

getPivot()

void BigattiHilbertAlgorithm::getPivot ( BigattiState &  state, size_t &  var, Exponent &  e  )

private

processState()

void BigattiHilbertAlgorithm::processState ( auto_ptr< BigattiState >  state )

private

Definition at line 75 of file BigattiHilbertAlgorithm.cpp.

run()

void BigattiHilbertAlgorithm::run

(

)

Definition at line 54 of file BigattiHilbertAlgorithm.cpp.

setComputeUnivariate()

void BigattiHilbertAlgorithm::setComputeUnivariate

(

bool

value

)

Definition at line 50 of file BigattiHilbertAlgorithm.cpp.

setDoCanonicalOutput()

void BigattiHilbertAlgorithm::setDoCanonicalOutput

(

bool

value

)

setPrintDebug()

void BigattiHilbertAlgorithm::setPrintDebug

(

bool

value

)

setPrintStatistics()

void BigattiHilbertAlgorithm::setPrintStatistics

(

bool

value

)

setUseSimplification()

void BigattiHilbertAlgorithm::setUseSimplification

(

bool

value

)

simplify()

void BigattiHilbertAlgorithm::simplify ( BigattiState &  state )

private

Definition at line 109 of file BigattiHilbertAlgorithm.cpp.

Friends And Related Function Documentation

BigattiState

friend class BigattiState

friend

Definition at line 75 of file BigattiHilbertAlgorithm.h.

Member Data Documentation

_baseCase

BigattiBaseCase BigattiHilbertAlgorithm::_baseCase

private

Definition at line 68 of file BigattiHilbertAlgorithm.h.

_computeUnivariate

bool BigattiHilbertAlgorithm::_computeUnivariate

private

Definition at line 72 of file BigattiHilbertAlgorithm.h.

_consumer

CoefBigTermConsumer* BigattiHilbertAlgorithm::_consumer

private

Definition at line 61 of file BigattiHilbertAlgorithm.h.

_params

BigattiParams BigattiHilbertAlgorithm::_params

private

Definition at line 73 of file BigattiHilbertAlgorithm.h.

_pivot

auto_ptr<BigattiPivotStrategy> BigattiHilbertAlgorithm::_pivot

private

Definition at line 70 of file BigattiHilbertAlgorithm.h.

_stateCache

ObjectCache<BigattiState> BigattiHilbertAlgorithm::_stateCache

private

Definition at line 63 of file BigattiHilbertAlgorithm.h.

_tasks

TaskEngine BigattiHilbertAlgorithm::_tasks

private

Definition at line 62 of file BigattiHilbertAlgorithm.h.

_tmp_processState_pivot

Term BigattiHilbertAlgorithm::_tmp_processState_pivot

private

Definition at line 65 of file BigattiHilbertAlgorithm.h.

_tmp_simplify_gcd

Term BigattiHilbertAlgorithm::_tmp_simplify_gcd

private

Definition at line 66 of file BigattiHilbertAlgorithm.h.

_translator

const TermTranslator& BigattiHilbertAlgorithm::_translator

private

Definition at line 60 of file BigattiHilbertAlgorithm.h.

_varCount

size_t BigattiHilbertAlgorithm::_varCount

private

Definition at line 59 of file BigattiHilbertAlgorithm.h.

---

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

• src/BigattiHilbertAlgorithm.h
• src/BigattiHilbertAlgorithm.cpp