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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/unit-tests/GatsatTester.cpp

    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 //
    00010
    00011 #include "GatsatTester.h"
    00012
    00014
    00015 using namespace Mers::Solvers::SAT::GATSAT::unit_tests;
    00016 using Mers::Models::Base::BaseModelSentence;
    00017
    00019
    00020 GatsatTester::GatsatTester()
    00021         : BMHelper(), m_GAT(NULL), m_Variables(true), m_SearchVariables(false),
    00022                 m_Domains(true), m_Theory(BaseModelSentence::CNF, true)
    00023 {
    00024 }
    00025
    00027
    00028 GatsatTester::~GatsatTester()
    00029 {
    00030         if(m_GAT != NULL)
    00031                 delete m_GAT;
    00032 }
    00033
    00035