- Main Page
- Namespaces
- Classes
- Files
- Related Pages

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

    00001
    00002 //
    00003 // Copyright (c) 2004           Model-based Embedded and Robotic Systems Group
    00004 // All Rights Reserved          Massachusetts Institute of Technology
    00005 //
    00006 // This software is provided as is. Model-based Embedded and Robotic Systems
    00007 // (MERS) group does not assume any responsibility.
    00008 //
    00009 // Organization:        Model-based Embedded and Robotic Systems Group
    00010 //                                      Massachusetts Institute of Technology
    00011 //
    00013 //# CHECKED MJP 08-07-2002
    00014
    00015 #ifndef __IMPLICANTEXPANDER__
    00016 #define __IMPLICANTEXPANDER__
    00017
    00018 #include <cstdlib>
    00019 #include <list>
    00020
    00021 namespace Mers {
    00022         namespace Generators {
    00023                 namespace BFIG {
    00024
    00025                         class BFIGAssignment;
    00026                         class BFIGImplicant;
    00027                         class BFIGVariable;
    00028
    00035                         class BFIGImplicantExpander
    00036                         {
    00037                         public:
    00038                                 //--------------------------------------------
    00039                                 //      CONSTRUCTOR
    00040                                 //--------------------------------------------
    00041
    00042                                 BFIGImplicantExpander();
    00043
    00044                                 BFIGImplicantExpander(std::list<BFIGVariable *> const & variables);
    00045
    00046
    00047                                 //--------------------------------------------
    00048                                 //      PUBLIC FUNCTION METHODS
    00049                                 //--------------------------------------------
    00050
    00051                                 BFIGImplicant *      expandImplicant(BFIGImplicant const & partialImplicant)  const;
    00052                                 void             expandImplicant(BFIGImplicant * partialImplicant)  const;
    00053
    00054                         private:
    00055                                 //--------------------------------------------
    00056                                 //      PRIVATE DATA MEMBERS
    00057                                 //--------------------------------------------
    00058
    00059                                 std::list<BFIGVariable *>   variableSet;
    00060
    00061                                 //--------------------------------------------
    00062                                 //      PRIVATE FUNCTION METHODS
    00063                                 //--------------------------------------------
    00064                         };
    00065                 }
    00066         }
    00067 }
    00068
    00069 #endif //ndef __IMPLICANTEXPANDER__
    00070