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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/OpSAT/unit-tests/TestUniformUnsat1.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 <Mers/Solvers/SAT/GATSAT/OpSAT/OpSatFactory.h>
    00012
    00013 #define c_TestNamespace OpSAT
    00014 #define t_GatsatUniformFactoryType Mers::Solvers::SAT::GATSAT::OpSAT::OpSatFactory
    00015 #define c_GatsatName "OpSAT"
    00016
    00017 #include <Mers/Solvers/SAT/GATSAT/unit-tests/TestUniformUnsat1.cpp>
    00018