/Users/fpy/titan-1-5-MBARI/Mers/Generators/BFIG/BFIGImplicantExpander.h

//
// Copyright (c) 2004           Model-based Embedded and Robotic Systems Group
// All Rights Reserved          Massachusetts Institute of Technology
//
// This software is provided as is. Model-based Embedded and Robotic Systems
// (MERS) group does not assume any responsibility.
//
// Organization:        Model-based Embedded and Robotic Systems Group
//                                      Massachusetts Institute of Technology
//
//# CHECKED MJP 08-07-2002

#ifndef __IMPLICANTEXPANDER__
#define __IMPLICANTEXPANDER__

#include <cstdlib>
#include <list>

namespace Mers {
        namespace Generators {
                namespace BFIG {

                        class BFIGAssignment;
                        class BFIGImplicant;
                        class BFIGVariable;

                        class BFIGImplicantExpander
                        {
                        public:
                                //--------------------------------------------
                                //      CONSTRUCTOR
                                //--------------------------------------------

                                BFIGImplicantExpander();

                                BFIGImplicantExpander(std::list<BFIGVariable *> const & variables);


                                //--------------------------------------------
                                //      PUBLIC FUNCTION METHODS
                                //--------------------------------------------

                                BFIGImplicant *      expandImplicant(BFIGImplicant const & partialImplicant)  const;
                                void             expandImplicant(BFIGImplicant * partialImplicant)  const;

                        private:
                                //--------------------------------------------
                                //      PRIVATE DATA MEMBERS
                                //--------------------------------------------

                                std::list<BFIGVariable *>   variableSet;

                                //--------------------------------------------
                                //      PRIVATE FUNCTION METHODS
                                //--------------------------------------------
                        };
                }
        }
}

#endif //ndef __IMPLICANTEXPANDER__

---