back_pull_term_operation.hpp

Go to the documentation of this file.

 
#ifndef Om_Language_Operation_BackPullTermOperation_
 
    #define Om_Language_Operation_BackPullTermOperation_ \
    Om::Language::Operation::BackPullTermOperation
 
    #include "om/language/system.hpp"
 
    #define Om_Language_Operation_BackPullTermOperation_GetName_() \
    "[terms]->"
 
namespace Om {
 
    namespace Language {
 
        class Expression;
 
        namespace Operation {
 
            // MARK: - Om::Language::Operation::BackPullTermOperation
 
            class BackPullTermOperation {
 
            public: // MARK: public (static)
 
                static char const * GetName();
 
                static void Give(Evaluation &);
 
                template <typename TheConsumer>
                static void Pull(
                    Expression &,
                    TheConsumer &
                );
 
            };
 
            namespace {
 
                static System::Definition<BackPullTermOperation> const theBackPullTermDefinition;
 
            }
 
        }
 
    }
 
}
 
    #include "om/language/operation/back_pull_term_operation.cpp"
 
#endif