PivotStrategy.cpp File Reference

#include "stdinc.h"
#include "PivotStrategy.h"
#include "EulerState.h"
#include "NameFactory.h"
#include "RawSquareFreeTerm.h"
#include "ElementDeleter.h"
#include "PivotEulerAlg.h"
#include <sstream>
#include <limits>

Go to the source code of this file.

Functions
auto_ptr< PivotStrategy >	newStdPivotStrategy (const string &name)
auto_ptr< PivotStrategy >	newGenPivotStrategy (const string &name)
auto_ptr< PivotStrategy >	newHybridPivotStrategy (auto_ptr< PivotStrategy > stdStrat, auto_ptr< PivotStrategy > genStrat)
auto_ptr< PivotStrategy >	newDebugPivotStrategy (auto_ptr< PivotStrategy > strat, FILE *out)
auto_ptr< PivotStrategy >	newStatisticsPivotStrategy (auto_ptr< PivotStrategy > strat, FILE *out)
auto_ptr< PivotStrategy >	newDefaultPivotStrategy ()

Function Documentation

newDebugPivotStrategy()

auto_ptr<PivotStrategy> newDebugPivotStrategy	(	auto_ptr< PivotStrategy >	strat,
		FILE *	out
	)

Definition at line 949 of file PivotStrategy.cpp.

newDefaultPivotStrategy()

auto_ptr<PivotStrategy> newDefaultPivotStrategy

(

)

Definition at line 959 of file PivotStrategy.cpp.

newGenPivotStrategy()

auto_ptr<PivotStrategy> newGenPivotStrategy

(

const string &

name

)

Definition at line 916 of file PivotStrategy.cpp.

newHybridPivotStrategy()

auto_ptr<PivotStrategy> newHybridPivotStrategy	(	auto_ptr< PivotStrategy >	stdStrat,
		auto_ptr< PivotStrategy >	genStrat
	)

Definition at line 943 of file PivotStrategy.cpp.

newStatisticsPivotStrategy()

auto_ptr<PivotStrategy> newStatisticsPivotStrategy	(	auto_ptr< PivotStrategy >	strat,
		FILE *	out
	)

Definition at line 954 of file PivotStrategy.cpp.

newStdPivotStrategy()

auto_ptr<PivotStrategy> newStdPivotStrategy

(

const string &

name

)

Definition at line 905 of file PivotStrategy.cpp.