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.