Region.h

# ifndef Conjecture_Region_h
# define Conjecture_Region_h Conjecture_Region_h

// Insert SVN header substitution variable here
// Class Champion: Unassigned

// Dependencies
#include "Element.h" // parent

// Declaration
namespace Conjecture {

    class Region : public Element {
      public:
        // Constructors/Destructors
        Region(Element* parent, const Coord& topleft, const Coord& bottomright);
        
        // Accessors
        virtual int type() const { return Type; }
        
        virtual Region* asRegion() { return this; }
        virtual const Region* asRegion() const { return this; }
        
        virtual void printSummary(std::ostream& os = std::cerr, const std::string& indent = "", int index = -1) const;
        
        static void test(int argc = 0, const char* argv[] = NULL);
        
      protected:
        // Methods
        
        // Accessors
        
      private:
        // Methods
        
        // Accessors
        
        // State
        static const ElementType Type = ELEMENT_REGION;
    };
};

# endif // Conjecture_Region_h

---