Frobby
0.9.5
|
#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) |
auto_ptr<IdealOrderer> createIdealOrderer | ( | const string & | prefix | ) |
Definition at line 272 of file IdealOrderer.cpp.