metaSMT git
Enumerations | Functions

boost Namespace Reference

Enumerations

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

Functions

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

Enumeration Type Documentation

Enumerator:
edge_input 

Definition at line 13 of file SMT_Graph.hpp.

Enumerator:
vertex_arg 

Definition at line 19 of file SMT_Graph.hpp.

Enumerator:
vertex_tag 

Definition at line 16 of file SMT_Graph.hpp.


Function Documentation

boost::BOOST_INSTALL_PROPERTY ( edge  ,
input   
)
boost::BOOST_INSTALL_PROPERTY ( vertex  ,
arg   
)
boost::BOOST_INSTALL_PROPERTY ( vertex  ,
tag   
)
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines