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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/CompileSAT/CSATFactory.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 "CSATFactory.h"
    00012
    00014
    00015 using namespace Mers::Solvers::SAT::GATSAT::CompileSAT;
    00016 using Mers::Utils::Exceptions::RuntimeException;
    00017 using Mers::Models::Base::BaseModelVariableArray;
    00018 using Mers::Models::Base::BaseModelSentence;
    00019
    00021
    00022 CompileSAT * CSATFactory::createGatsat(
    00023         const BaseModelVariableArray & searchVars,
    00024         const BaseModelVariableArray & allVars, const BaseModelSentence & theory)
    00025         const throw(RuntimeException)
    00026 {
    00027         return new CompileSAT(searchVars, allVars, theory, true);
    00028 }
    00029