Frobby  0.9.5
Functions
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< PivotStrategynewStdPivotStrategy (const string &name)
 
auto_ptr< PivotStrategynewGenPivotStrategy (const string &name)
 
auto_ptr< PivotStrategynewHybridPivotStrategy (auto_ptr< PivotStrategy > stdStrat, auto_ptr< PivotStrategy > genStrat)
 
auto_ptr< PivotStrategynewDebugPivotStrategy (auto_ptr< PivotStrategy > strat, FILE *out)
 
auto_ptr< PivotStrategynewStatisticsPivotStrategy (auto_ptr< PivotStrategy > strat, FILE *out)
 
auto_ptr< PivotStrategynewDefaultPivotStrategy ()
 

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.