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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/ValidSAT/VSATVariable.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
    00014 #if !defined(AFX_VSATVARIABLE_H__402F3BE9_FF37_46B1_9B19_4E40862550C2__INCLUDED_)
    00015 #define AFX_VSATVARIABLE_H__402F3BE9_FF37_46B1_9B19_4E40862550C2__INCLUDED_
    00016
    00017 #if _MSC_VER > 1000
    00018 #pragma once
    00019 #endif // _MSC_VER > 1000
    00020
    00021 #include <Mers/Models/Base/BaseModelAssignmentArray.h>
    00022
    00023 namespace Mers {
    00024         namespace Models {
    00025                 namespace Base {
    00026                         class BaseModelVariable;
    00027                 }
    00028         }
    00029 }
    00030
    00031 namespace Mers {
    00032         namespace Solvers {
    00033                 namespace SAT {
    00034                         namespace ValidSAT {
    00035
    00044                                 class VSATVariable
    00045                                 {
    00046                                 public:
    00056                                         VSATVariable(Mers::Models::Base::BaseModelVariable const * myVariable, bool myIsDesignVariable);
    00057
    00064                                         VSATVariable(VSATVariable const &other);
    00065
    00069                                         virtual ~VSATVariable();
    00070
    00078                                         Mers::Models::Base::BaseModelAssignmentArray &getAssignments();
    00079
    00086                                         unsigned int getUID()
    00087                                         {
    00088                                                 return variable->getUID();
    00089                                         }
    00090
    00097                                         bool isDesignVariable()
    00098                                         {
    00099                                                 return isDesignVar;
    00100                                         }
    00101
    00109                                         virtual VSATVariable * duplicate() const;
    00110
    00119                                         bool operator ==(VSATVariable const &other) const;
    00120
    00121
    00122 #ifndef EMBEDDED
    00123
    00128                                         virtual void print(std::ostream &out) const;
    00129 #endif
    00130
    00131
    00132                                 protected:
    00133                                         Mers::Models::Base::BaseModelVariable const * variable;
    00134                                         Mers::Models::Base::BaseModelAssignmentArray assignments;
    00135                                         bool isDesignVar;
    00136                                 };
    00137                         }
    00138                 }
    00139         }
    00140 }
    00141
    00142 #endif // !defined(AFX_VSATVARIABLE_H__402F3BE9_FF37_46B1_9B19_4E40862550C2__INCLUDED_)