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< IdealOrderer >	createIdealOrderer (const string &prefix)

Function Documentation

createIdealOrderer()

auto_ptr<IdealOrderer> createIdealOrderer

(

const string &

prefix

)

Definition at line 272 of file IdealOrderer.cpp.