metaSMT git
Namespaces | Defines | Typedefs | Enumerations | Functions

metaSMT/support/SMT_Graph.hpp File Reference

#include "metaSMT/tags/Logics.hpp"
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/function.hpp>
#include <boost/any.hpp>

Go to the source code of this file.

Namespaces

namespace  boost
namespace  metaSMT

Defines

#define _BACKWARD_BACKWARD_WARNING_H

Typedefs

typedef boost::property
< boost::edge_input_t, size_t > 
metaSMT::edge_input_property
typedef edge_input_property metaSMT::SMT_Edge_t
typedef boost::property
< boost::vertex_arg_t,
boost::any > 
metaSMT::vertex_arg_property
typedef boost::property
< boost::vertex_tag_t,
metaSMT::Tag,
vertex_arg_property > 
metaSMT::vertex_tag_property
typedef vertex_tag_property metaSMT::SMT_Vertex_t
typedef boost::adjacency_list
< boost::vecS, boost::vecS,
boost::directedS, SMT_Vertex_t,
SMT_Edge_t > 
metaSMT::SMT_Graph
typedef boost::graph_traits
< SMT_Graph >
::vertex_descriptor 
metaSMT::SMT_Expression
typedef boost::graph_traits
< SMT_Graph >::edge_descriptor 
metaSMT::SMT_Edge

Enumerations

enum  boost::edge_input_t { boost::edge_input }
enum  boost::vertex_tag_t { boost::vertex_tag }
enum  boost::vertex_arg_t { boost::vertex_arg }

Functions

 boost::BOOST_INSTALL_PROPERTY (edge, input)
 boost::BOOST_INSTALL_PROPERTY (vertex, tag)
 boost::BOOST_INSTALL_PROPERTY (vertex, arg)

Define Documentation

#define _BACKWARD_BACKWARD_WARNING_H

Definition at line 5 of file SMT_Graph.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines