file frontends/vevacious_1_0.hpp
[No description available]
Namespaces
Name |
---|
Gambit TODO: see if we can use this one: |
Gambit::Backends |
Gambit::Backends::vevacious_1_0 |
Gambit::Backends::vevacious_1_0::VevaciousPlusPlus |
Source code
//
// Frontend header generated by BOSS for GAMBIT backend vevacious 1.0.
//
#include "gambit/Backends/backend_types/vevacious_1_0/identification.hpp"
LOAD_LIBRARY
namespace Gambit
{
namespace Backends
{
namespace vevacious_1_0
{
namespace VevaciousPlusPlus
{
typedef ::vevacious_1_0::VevaciousPlusPlus::VevaciousPlusPlus VevaciousPlusPlus;
}
}
}
}
// Functions
// Variables
// Initialisation function (dependencies)
// Convenience functions (registration)
// Initialisation function (definition)
BE_INI_FUNCTION{} END_BE_INI_FUNCTION
// Convenience functions (definitions)
// End
#include "gambit/Backends/backend_undefs.hpp"
Updated on 2022-08-03 at 12:58:06 +0000