formula.cc Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #include "formula.h"
00004 #include "formula_i.h"
00005 
00006 
00007 #line 67 "formula.cpp"
00008 
00011 std::vector<Formula*> 
00012 Formula::vec(Formula* f1, Formula* f2, Formula* f3,
00013              Formula* f4, Formula* f5, Formula* f6)
00014 {
00015   std::vector<Formula*> v;
00016   if (f1) {
00017     v.push_back (f1);
00018     if (f2) {
00019       v.push_back (f2);
00020       if (f3) {
00021         v.push_back (f3);
00022         if (f4) {
00023           v.push_back (f4);
00024           if (f5) {
00025             v.push_back (f5);
00026             if (f6) {
00027               v.push_back (f6);
00028             }}}}}}
00029   return v;
00030 }