/Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/AssignmentTesterInterface.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
//

#if !defined(AFX_ASSIGNMENTTESTERINTERFACE_H__7250C254_3DF8_4319_80C7_C0578120E3A5__INCLUDED_)
#define AFX_ASSIGNMENTTESTERINTERFACE_H__7250C254_3DF8_4319_80C7_C0578120E3A5__INCLUDED_

#if _MSC_VER > 1000
#pragma once
#endif // _MSC_VER > 1000

namespace Mers {
        namespace Models {
                namespace Base {
                        class BaseModelAssignmentArray;
                        class BaseModelClause;
                }
        }
}

namespace Mers {
        namespace Solvers {
                namespace SAT {

                        class AssignmentTesterInterface  
                        {
                        public:
                                enum SolutionType {Unsatisfiable, Satisfiable, Valid};

                                // Constructors

                                AssignmentTesterInterface()
                                {
                                        debug = 0;
                                }

                                // Destructors

                                virtual ~AssignmentTesterInterface()
                                {
                                }

                                // Functions

                                virtual void addConstraint(Mers::Models::Base::BaseModelClause const * constraint) = 0;

                                virtual void addTemporaryConstraint(Mers::Models::Base::BaseModelClause const * constraint) = 0;
        
                                virtual void setTemporaryConstraint(Mers::Models::Base::BaseModelClause const * constraint) = 0;
        
                                virtual void clearTemporaryConstraint() = 0;

                                virtual SolutionType tryAssignment(
                                        Mers::Models::Base::BaseModelAssignmentArray const * candidate, int group, bool satisfy, 
                                        Mers::Models::Base::BaseModelAssignmentArray &conflict) = 0;

                                virtual void printStatistics(bool verbose = false) const = 0;

                                virtual double getNumberOfSteps() const = 0;

                                virtual void setDebug(unsigned int state)
                                {
                                        debug = state;
                                }

                        protected:
                                unsigned int debug;
                        };
                }
        }
}

#endif // !defined(AFX_ASSIGNMENTTESTERINTERFACE_H__7250C254_3DF8_4319_80C7_C0578120E3A5__INCLUDED_)

---