Frobby  0.9.5
Functions
IdealOrderer.cpp File Reference
#include "stdinc.h"
#include "IdealOrderer.h"
#include "Ideal.h"
#include "TermPredicate.h"
#include "NameFactory.h"
#include "TermExtra.h"
#include "ElementDeleter.h"
#include <algorithm>
#include <iterator>
#include <map>

Go to the source code of this file.

Functions

auto_ptr< IdealOrderercreateIdealOrderer (const string &prefix)
 

Function Documentation

◆ createIdealOrderer()

auto_ptr<IdealOrderer> createIdealOrderer ( const string &  prefix)

Definition at line 272 of file IdealOrderer.cpp.