<?xml version='1.0' encoding='ISO-8859-1' standalone='yes' ?>
<tagfile>
  <compound kind="file">
    <name>ExecControl.cpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/src/</path>
    <filename>ExecControl_8cpp</filename>
    <includes id="ExecControl_8hpp" name="ExecControl.hpp" local="no" imported="no">labust/control/ExecControl.hpp</includes>
    <member kind="function">
      <type>int</type>
      <name>main</name>
      <anchorfile>ExecControl_8cpp.html</anchorfile>
      <anchor>a0ddf1224851353fc92bfbff6f499fa97</anchor>
      <arglist>(int argc, char *argv[])</arglist>
    </member>
  </compound>
  <compound kind="file">
    <name>ExecControl.hpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/include/labust/control/</path>
    <filename>ExecControl_8hpp</filename>
    <includes id="ExecDepGraph_8hpp" name="ExecDepGraph.hpp" local="no" imported="no">labust/control/ExecDepGraph.hpp</includes>
    <includes id="ExecPNGraph_8hpp" name="ExecPNGraph.hpp" local="no" imported="no">labust/control/ExecPNGraph.hpp</includes>
    <includes id="PNController_8hpp" name="PNController.hpp" local="no" imported="no">labust/control/PNController.hpp</includes>
    <class kind="struct">labust::control::ExecControl::ControllerInfo</class>
    <class kind="class">labust::control::ExecControl</class>
    <class kind="struct">labust::control::ExecControl::REdgeProperty</class>
    <class kind="struct">labust::control::ExecControl::RVertexProperty</class>
    <class kind="struct">labust::control::ExecControl::VertexProperty</class>
  </compound>
  <compound kind="file">
    <name>ExecDepGraph.cpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/src/</path>
    <filename>ExecDepGraph_8cpp</filename>
    <includes id="ExecDepGraph_8hpp" name="ExecDepGraph.hpp" local="no" imported="no">labust/control/ExecDepGraph.hpp</includes>
  </compound>
  <compound kind="file">
    <name>ExecDepGraph.hpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/include/labust/control/</path>
    <filename>ExecDepGraph_8hpp</filename>
    <class kind="class">labust::control::ExecDepGraph</class>
  </compound>
  <compound kind="file">
    <name>ExecPNGraph.cpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/src/</path>
    <filename>ExecPNGraph_8cpp</filename>
    <includes id="ExecPNGraph_8hpp" name="ExecPNGraph.hpp" local="no" imported="no">labust/control/ExecPNGraph.hpp</includes>
  </compound>
  <compound kind="file">
    <name>ExecPNGraph.hpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/include/labust/control/</path>
    <filename>ExecPNGraph_8hpp</filename>
    <class kind="class">labust::control::ExecPNGraph</class>
    <class kind="struct">labust::control::ExecPNGraph::PlaceInfo</class>
    <class kind="struct">labust::control::ExecPNGraph::pn_writer</class>
    <class kind="struct">labust::control::ExecPNGraph::VertexProperty</class>
  </compound>
  <compound kind="file">
    <name>PNController.cpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/src/</path>
    <filename>PNController_8cpp</filename>
    <includes id="PNController_8hpp" name="PNController.hpp" local="no" imported="no">labust/control/PNController.hpp</includes>
    <class kind="class">bacon_number_recorder</class>
    <member kind="function">
      <type>void</type>
      <name>print_vec</name>
      <anchorfile>PNController_8cpp.html</anchorfile>
      <anchor>a6ffe31d0051855e20229ad03c9ade6d2</anchor>
      <arglist>(const Vector &amp;vec)</arglist>
    </member>
    <member kind="function">
      <type>bacon_number_recorder&lt; DistanceMap, PredecessorMap &gt;</type>
      <name>record_bacon_number</name>
      <anchorfile>PNController_8cpp.html</anchorfile>
      <anchor>a5f23c37d378fb3cf0f43c0ba0b36aac6</anchor>
      <arglist>(DistanceMap d, PredecessorMap p)</arglist>
    </member>
  </compound>
  <compound kind="file">
    <name>PNController.hpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/include/labust/control/</path>
    <filename>PNController_8hpp</filename>
    <class kind="struct">labust::control::PNController::edge_writer</class>
    <class kind="struct">labust::control::PNController::EdgeProperty</class>
    <class kind="struct">labust::control::PNController::PlaceInfo</class>
    <class kind="struct">labust::control::PNController::pn_writer</class>
    <class kind="struct">labust::control::PNController::pn_writer2</class>
    <class kind="class">labust::control::PNController</class>
    <class kind="struct">labust::control::PNController::PNEdgeProperty</class>
    <class kind="struct">labust::control::PNController::PNVertexProperty</class>
    <class kind="struct">labust::control::PNController::VertexProperty</class>
  </compound>
  <compound kind="file">
    <name>test_exec.cpp</name>
    <path>/home/rosbuild/hudson/workspace/doc-hydro-labust_ros_pkg/doc_stacks/2015-08-28_11-20-55.634954/labust_ros_pkg/labust_execution/src/test/</path>
    <filename>test__exec_8cpp</filename>
    <member kind="function">
      <type>int</type>
      <name>main</name>
      <anchorfile>test__exec_8cpp.html</anchorfile>
      <anchor>a3c04138a5bfe5d72780bb7e82a18e627</anchor>
      <arglist>(int argc, char **argv)</arglist>
    </member>
  </compound>
  <compound kind="class">
    <name>bacon_number_recorder</name>
    <filename>classbacon__number__recorder.html</filename>
    <templarg>DistanceMap</templarg>
    <templarg>PredecessorMap</templarg>
    <member kind="function">
      <type></type>
      <name>bacon_number_recorder</name>
      <anchorfile>classbacon__number__recorder.html</anchorfile>
      <anchor>a263618eddecb75b544873e32180aa717</anchor>
      <arglist>(DistanceMap dist, PredecessorMap p)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>tree_edge</name>
      <anchorfile>classbacon__number__recorder.html</anchorfile>
      <anchor>ab4f18da15900a87cd46a321cfa29f44f</anchor>
      <arglist>(Edge e, const Graph &amp;g) const </arglist>
    </member>
    <member kind="variable" protection="private">
      <type>DistanceMap</type>
      <name>d</name>
      <anchorfile>classbacon__number__recorder.html</anchorfile>
      <anchor>af00428a5c6441bb35b2c823b15f59fe0</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>PredecessorMap</type>
      <name>p</name>
      <anchorfile>classbacon__number__recorder.html</anchorfile>
      <anchor>a6cc8be45a8ecbef753fb57911cdca621</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="class">
    <name>labust::control::ExecControl</name>
    <filename>classlabust_1_1control_1_1ExecControl.html</filename>
    <class kind="struct">labust::control::ExecControl::ControllerInfo</class>
    <class kind="struct">labust::control::ExecControl::REdgeProperty</class>
    <class kind="struct">labust::control::ExecControl::RVertexProperty</class>
    <class kind="struct">labust::control::ExecControl::VertexProperty</class>
    <member kind="function">
      <type>void</type>
      <name>add_pn_edge</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a18001df74bc6422af4cb51f6e6007579</anchor>
      <arglist>(int i, int j, GraphType &amp;graph)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>addToGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>aff84f6ffee798ba58866d46c267b8880</anchor>
      <arglist>(const std::string &amp;name=&quot;&quot;)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>addToMatrix</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ad3f4947ada1b2b743af88fda3a47583d</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>ExecControl</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a7373af94228fdd38c0f2613d97aeb43f</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>find_path</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a4781c70350a04cea7eb46a5232d636cf</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type>bool</type>
      <name>firing_rec</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ac6a1f815c61698413fa862775c9fc674</anchor>
      <arglist>(int des_place, std::vector&lt; int &gt; &amp;skip_transitions, std::vector&lt; int &gt; &amp;visited_places)</arglist>
    </member>
    <member kind="function">
      <type>bool</type>
      <name>firing_rec2</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ac7c112b7c9d7a043cd8defcc769028c7</anchor>
      <arglist>(int des_place, std::vector&lt; int &gt; &amp;skip_transitions, std::vector&lt; int &gt; &amp;visited_places)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>get_firing</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a47421f9fc1572a1c26fcd663c2ebd8ea</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>get_firing2</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a6a069ed63627c9bc374d0c81eab8d05d</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>onActivateController</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ad7c98c8367b295710ee04bb1a8b25c0c</anchor>
      <arglist>(const std_msgs::String::ConstPtr &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>onInit</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a4e433949a691961a8f3a776acca861c1</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type>bool</type>
      <name>onRegisterController</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ac65b830667d6f420094663a0fad4d60a</anchor>
      <arglist>(navcon_msgs::RegisterController::Request &amp;req, navcon_msgs::RegisterController::Response &amp;resp)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>reachability</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a8ac379abee5e508c1191bc761d748f49</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="variable">
      <type>ros::Subscriber</type>
      <name>activateController</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a26dc16d594a312227d58b1d80d891491</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::list&lt; std::string &gt;</type>
      <name>active_cnt</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ad34e86c6b1122a00b11eec0f97292f82</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::string</type>
      <name>active_dof</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a000e324ff2aea608868fb8442a395f35</anchor>
      <arglist>[6]</arglist>
    </member>
    <member kind="variable">
      <type>ControllerMap</type>
      <name>controllers</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ae5194a2cd9eceb7b3daf6b7c893ef765</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>ExecDepGraph</type>
      <name>depGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a51666b4ef751fe8856c146709463407c</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>ros::Publisher</type>
      <name>depGraphPub</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ad8030c474fd3589f65aa01992e5b9433</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>Eigen::MatrixXi</type>
      <name>Dm</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ac25f0e5736a93cf65d92e0bb66262167</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>Eigen::MatrixXi</type>
      <name>Dp</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a4dbebe79d14056086f74b08b7d74e2ac</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::vector&lt; int &gt;</type>
      <name>firing_seq</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ab053b3095c1816988bf0f47e12b19083</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>GraphType</type>
      <name>graph</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a8a346c24770984cfc68c7ee9276702ca</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>Eigen::VectorXi</type>
      <name>marking</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>ab77b95f2356d7102a75b44342df55a5a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::vector&lt; std::string &gt;</type>
      <name>names</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a70c2f7409da051627002b3cadf010a67</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::map&lt; int, std::string &gt;</type>
      <name>pname</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a2046debf071e095c170a89d425e31e39</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>PNController</type>
      <name>pnCon</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a5e68ec2ee868d910a8178b5f5614e9bb</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>ExecPNGraph</type>
      <name>pnGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a04cd52d17fb7b53f6e6d360c0881fbba</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>ros::Publisher</type>
      <name>pnGraphPub</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a71d46c48f72b6403697eafe0e47ed4ab</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>pnum</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a872b35e9eacc82f5c6f1288f655af562</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>ros::ServiceServer</type>
      <name>registerController</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a46c0ba3995f51d78cbc2b611f05d4ae9</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>RGraphType</type>
      <name>rgraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a4fdf910afa008a3ca2c414c4b8913a59</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>tnum</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a89a53972e6e8c5aadc41449930f6dd58</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>u</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a69ab55cba242449ccb76682fe376ed5fab6623c0a519f241e190c9b6832b99b82</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>v</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a69ab55cba242449ccb76682fe376ed5fa35d4de30c93aee8651cc6489b41b681b</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>w</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a69ab55cba242449ccb76682fe376ed5fa5240837b58da26c34966c027ad576ba8</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>p</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a69ab55cba242449ccb76682fe376ed5faf102a7a947f6557e1911bb070d090051</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>q</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a69ab55cba242449ccb76682fe376ed5fa73478d9aa112399d8b627fc6495f9c4c</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>r</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a69ab55cba242449ccb76682fe376ed5fa1869e0d4991029bb4bb90494196a33d2</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>X</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>adbdf486a6842cd3afecd6e2585189194a252faa48ee738adced5a159bf7552943</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>Y</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>adbdf486a6842cd3afecd6e2585189194a61729e22aef4605adc907bd16f6957a3</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>Z</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>adbdf486a6842cd3afecd6e2585189194ab928c79a7675aa34343f353b262ed65a</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>K</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>adbdf486a6842cd3afecd6e2585189194ac4ab11b5a21c4b090d924d6d3c600b77</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>M</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>adbdf486a6842cd3afecd6e2585189194a8983b20707f15456203138614166c01f</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>N</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>adbdf486a6842cd3afecd6e2585189194a04a6bb1e850a5c494ff7ec8e97cf8913</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>alpha</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a6dd50e7f68d6bd48c8714dbc50f39f49a79390c223d8cf0dd41ffd1fde8edb83d</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>beta</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a6dd50e7f68d6bd48c8714dbc50f39f49a7c6d649d9be19d9d4a8358701ea0fe23</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>betaa</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a6dd50e7f68d6bd48c8714dbc50f39f49a2dcd98900f1d409cde823ac26a707d7a</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>Kp</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>af3f6daedbc3e8c1ca03b01e0ce4b6bacab99490a3ab9f7ec85b35eb76f58928f5</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>Ki</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>af3f6daedbc3e8c1ca03b01e0ce4b6bacafad24a53fd2ffc2f8d7525edbddfa97c</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>Kd</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>af3f6daedbc3e8c1ca03b01e0ce4b6baca25f4e7f3535010f53a71994f7ca0147f</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>Kt</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>af3f6daedbc3e8c1ca03b01e0ce4b6bacac6200658fbc13da6f5e09543bce634b5</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>struct labust::control::ExecControl::ControllerInfo</type>
      <name>ControllerInfo</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a43e713824e901a96505c7d90c78236cb</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>std::map&lt; std::string, ControllerInfo &gt;</type>
      <name>ControllerMap</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a21aae300754806f01a047820807889af</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::adjacency_list&lt; boost::vecS, boost::vecS, boost::directedS, VertexProperty, boost::property&lt; boost::edge_weight_t, int &gt; &gt;</type>
      <name>GraphType</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a31c90363c0af73473d56d60c381a5fd5</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::adjacency_list&lt; boost::vecS, boost::vecS, boost::directedS, RVertexProperty, REdgeProperty &gt;</type>
      <name>RGraphType</name>
      <anchorfile>classlabust_1_1control_1_1ExecControl.html</anchorfile>
      <anchor>a3e30f045726a73215443d450f8b66506</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecControl::ControllerInfo</name>
    <filename>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</filename>
    <member kind="variable">
      <type>int</type>
      <name>dis_idx</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>a6b7b7afa2108850011c9d98f967eb01c</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>dis_t_num</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>a82ff759b81a37b47ff3c02f01334ff99</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>en_idx</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>a16415db46ac965276aa722e9e52403e2</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>en_t_num</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>acfc2aab265c3edadb472be45fb935cb5</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>graph_idx</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>a07b53e40ae6b06e40bc7b7c39d61afba</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>navcon_msgs::RegisterControllerRequest</type>
      <name>info</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>a13d5a39446b5c0a9ecb3c39521c3b95a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>place_num</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1ControllerInfo.html</anchorfile>
      <anchor>a87e6e74b6c2c6b8048029fba5b053527</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecControl::REdgeProperty</name>
    <filename>structlabust_1_1control_1_1ExecControl_1_1REdgeProperty.html</filename>
    <member kind="variable">
      <type>int</type>
      <name>t</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1REdgeProperty.html</anchorfile>
      <anchor>a0eeead3a0d5a5f99c36c9849e1f9e32d</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>weight</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1REdgeProperty.html</anchorfile>
      <anchor>a7078381c480cf9c324ca9d906c9dc8e0</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecControl::RVertexProperty</name>
    <filename>structlabust_1_1control_1_1ExecControl_1_1RVertexProperty.html</filename>
    <member kind="variable">
      <type>Eigen::VectorXi</type>
      <name>marking</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1RVertexProperty.html</anchorfile>
      <anchor>acba7c45867247d6235a3aa4d5aea1444</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecControl::VertexProperty</name>
    <filename>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</filename>
    <member kind="enumvalue">
      <name>p</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>ad2c6ae6d9824462a7bf8f7d43f912e7aa5f16a3540f240d285a5a03d8391ca8a2</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>t</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>ad2c6ae6d9824462a7bf8f7d43f912e7aa3ee31d3e88ca161c8bb561b10ca7371f</anchor>
      <arglist></arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>VertexProperty</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>a23d44a8950d23db00ea73ae70a29b1ae</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>VertexProperty</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>a9a9a7990b2aac2bdd5e670fc3dda4ce9</anchor>
      <arglist>(const std::string &amp;name, int type)</arglist>
    </member>
    <member kind="variable">
      <type>bool</type>
      <name>marked</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>a8fa576fd72d48e5e9170e64c6c9e288a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::string</type>
      <name>name</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>adf8bb93b44ac9a0eb4d99a7c605b5ffb</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>type</name>
      <anchorfile>structlabust_1_1control_1_1ExecControl_1_1VertexProperty.html</anchorfile>
      <anchor>a0baa006f308262c103c97f1cac8accf7</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="class">
    <name>labust::control::ExecDepGraph</name>
    <filename>classlabust_1_1control_1_1ExecDepGraph.html</filename>
    <member kind="function">
      <type>void</type>
      <name>addToGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>a1b7dac75e0da7209403afb076ca16959</anchor>
      <arglist>(const navcon_msgs::RegisterControllerRequest &amp;info)</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>ExecDepGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>aa20a336ff4d8cf24b7aa08d070921435</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>findPath</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>a73a8df509b0f69f534ea6e06ca11f436</anchor>
      <arglist>(const std::string &amp;start, const std::string &amp;end, std::list&lt; std::string &gt; &amp;path)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>getDotDesc</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>a3ec4d343cd2834933217f84359ffac40</anchor>
      <arglist>(std::string &amp;desc)</arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::property&lt; boost::edge_weight_t, int &gt;</type>
      <name>EdgeProperty</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>a404bc6801e34a3a238a8a199402e14cb</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::adjacency_list&lt; boost::vecS, boost::vecS, boost::directedS, VertexProperty, EdgeProperty &gt;</type>
      <name>GraphType</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>a026737511e7bcf16a77f881bb3895ed4</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::property&lt; boost::vertex_name_t, std::string &gt;</type>
      <name>VertexProperty</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>ae599941538494006321ad7b5ba4ae321</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>GraphType</type>
      <name>graph</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>aac1a6993944f91cae2e4fa119c0c6028</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::map&lt; std::string, GraphType::vertex_descriptor &gt;</type>
      <name>nameMap</name>
      <anchorfile>classlabust_1_1control_1_1ExecDepGraph.html</anchorfile>
      <anchor>a971b341ba57718071d484fac4356f0e7</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="class">
    <name>labust::control::ExecPNGraph</name>
    <filename>classlabust_1_1control_1_1ExecPNGraph.html</filename>
    <class kind="struct">labust::control::ExecPNGraph::PlaceInfo</class>
    <class kind="struct">labust::control::ExecPNGraph::pn_writer</class>
    <class kind="struct">labust::control::ExecPNGraph::VertexProperty</class>
    <member kind="function">
      <type>void</type>
      <name>addToGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>afc7c58a3f31d7dcca45bb96593596e1c</anchor>
      <arglist>(const navcon_msgs::RegisterControllerRequest &amp;info)</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>ExecPNGraph</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>afbe9243644f01e321868c8277b6f046b</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>findPath</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>a1dd689525c5e430f83d1b5a1dea28e4d</anchor>
      <arglist>(const std::string &amp;start, const std::string &amp;end, std::list&lt; std::string &gt; &amp;path)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>getDotDesc</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>abcbd6ffa6824f3ac15eac6e27a34c273</anchor>
      <arglist>(std::string &amp;desc)</arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::property&lt; boost::edge_weight_t, int &gt;</type>
      <name>EdgeProperty</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>a3b5c3d6ca722e05d4115f540e5027ae8</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::adjacency_list&lt; boost::vecS, boost::vecS, boost::directedS, VertexProperty, EdgeProperty &gt;</type>
      <name>GraphType</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>a5ae5632e29bd3bd55c229bcbfba4bb79</anchor>
      <arglist></arglist>
    </member>
    <member kind="function" protection="private">
      <type>std::pair&lt; GraphType::edge_descriptor, bool &gt;</type>
      <name>add_edge</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>ab56fa984c6d3422271b90f336dabed48</anchor>
      <arglist>(GraphType::vertex_descriptor from, GraphType::vertex_descriptor to, int weight=1)</arglist>
    </member>
    <member kind="function" protection="private">
      <type>GraphType::vertex_descriptor</type>
      <name>add_place</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>a9887c686d7d962e6c50b602583c8fcac</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function" protection="private">
      <type>GraphType::vertex_descriptor</type>
      <name>add_transition</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>a68673115705c0326240a50813585adab</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="variable" protection="private">
      <type>GraphType</type>
      <name>graph</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>a5e3678779e07e47c5fff482a71e6b128</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::map&lt; std::string, PlaceInfo &gt;</type>
      <name>nameMap</name>
      <anchorfile>classlabust_1_1control_1_1ExecPNGraph.html</anchorfile>
      <anchor>ad595026a1ef931715543c1071bc1602d</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecPNGraph::PlaceInfo</name>
    <filename>structlabust_1_1control_1_1ExecPNGraph_1_1PlaceInfo.html</filename>
    <member kind="function">
      <type></type>
      <name>PlaceInfo</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1PlaceInfo.html</anchorfile>
      <anchor>ae9ad773bbcd1e6a7de9e13f822611b61</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="variable">
      <type>GraphType::vertex_descriptor</type>
      <name>disable_t</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1PlaceInfo.html</anchorfile>
      <anchor>ad471f6553e303864059609186b9d6d40</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>GraphType::vertex_descriptor</type>
      <name>enable_t</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1PlaceInfo.html</anchorfile>
      <anchor>ac25390063c78b99c20958cf8f0d4981a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>GraphType::vertex_descriptor</type>
      <name>place_num</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1PlaceInfo.html</anchorfile>
      <anchor>a3a91a623640cede97d4a231af2782631</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecPNGraph::pn_writer</name>
    <filename>structlabust_1_1control_1_1ExecPNGraph_1_1pn__writer.html</filename>
    <member kind="function">
      <type>void</type>
      <name>operator()</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1pn__writer.html</anchorfile>
      <anchor>a423752a9ceb50c96a0b9ebd1c57e92cb</anchor>
      <arglist>(std::ostream &amp;out, const Vertex &amp;e) const </arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>pn_writer</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1pn__writer.html</anchorfile>
      <anchor>acaa66050fd5dd5f3f702814f50ca5993</anchor>
      <arglist>(GraphType &amp;graph)</arglist>
    </member>
    <member kind="variable">
      <type>GraphType &amp;</type>
      <name>graph</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1pn__writer.html</anchorfile>
      <anchor>ad856235db91b673e9ed7c671456add42</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::ExecPNGraph::VertexProperty</name>
    <filename>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</filename>
    <member kind="enumvalue">
      <name>p</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>a1c92b128a9d4b32d0f4324f91d45baf8a0eb7a8785eecf2d83a4b723fc5233405</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>t</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>a1c92b128a9d4b32d0f4324f91d45baf8a341a996e6487133104701b8d09233696</anchor>
      <arglist></arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>VertexProperty</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>ac21b0f0de2569650afe153ccd45a556b</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>VertexProperty</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>a4289043d50d0422db29e5c537c6e3de6</anchor>
      <arglist>(const std::string &amp;name, int type)</arglist>
    </member>
    <member kind="variable">
      <type>bool</type>
      <name>marked</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>a1e60f5e644edfedc30ee926626f01568</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::string</type>
      <name>name</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>adb77055f379b1d7ad18480d952b2164d</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>type</name>
      <anchorfile>structlabust_1_1control_1_1ExecPNGraph_1_1VertexProperty.html</anchorfile>
      <anchor>a8a47b693e50fe3e90e99a93b3f9f4161</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="class">
    <name>labust::control::PNController</name>
    <filename>classlabust_1_1control_1_1PNController.html</filename>
    <class kind="struct">labust::control::PNController::edge_writer</class>
    <class kind="struct">labust::control::PNController::EdgeProperty</class>
    <class kind="struct">labust::control::PNController::PlaceInfo</class>
    <class kind="struct">labust::control::PNController::pn_writer</class>
    <class kind="struct">labust::control::PNController::pn_writer2</class>
    <class kind="struct">labust::control::PNController::PNEdgeProperty</class>
    <class kind="struct">labust::control::PNController::PNVertexProperty</class>
    <class kind="struct">labust::control::PNController::VertexProperty</class>
    <member kind="function">
      <type>void</type>
      <name>addToGraph</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a15b5f91a0e720a124a5ed00fa9f18b61</anchor>
      <arglist>(const navcon_msgs::RegisterControllerRequest &amp;info)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>addToPNGraph</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a85810cf9dd0d22c9f28d2dc6e68b7b58</anchor>
      <arglist>(const navcon_msgs::RegisterControllerRequest &amp;info)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>addToRGraph</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a94d95a7fb9eb9a4cd7e6f1c6b7cdadb2</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>addToRGraph2</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a69c66213534f1ae1e94667f619b15320</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>get_firing</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a7822844c759fc911c9399935cb7c976e</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>get_firing_pn</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a249b9f8b42bb8dd4969fd97587848b10</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>get_firing_r</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>ab7ba76e603e93c9108dd8f16bc7ba2fd</anchor>
      <arglist>(const std::string &amp;name)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>getDotDesc</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a7191ce9cc04326324e146acc10060133</anchor>
      <arglist>(std::string &amp;desc)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>getDotDesc2</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a8855733f760d89217a701e0b55376e56</anchor>
      <arglist>(std::string &amp;desc)</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>PNController</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a5dacdbe3edcd9a973c8e8ba582252366</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>reachability</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>abd189807018eaf4745f28b9d5dcf2fc4</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::adjacency_list&lt; boost::vecS, boost::vecS, boost::directedS, VertexProperty, boost::property&lt; boost::edge_name_t, int &gt; &gt;</type>
      <name>GraphType</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>aa667577468cca9645db2f69c5adad6f8</anchor>
      <arglist></arglist>
    </member>
    <member kind="typedef" protection="private">
      <type>boost::adjacency_list&lt; boost::vecS, boost::vecS, boost::bidirectionalS, PNVertexProperty, boost::property&lt; boost::edge_name_t, int &gt; &gt;</type>
      <name>PNGraphType</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a5be42b8f0ca60b0b767d7eaa79f6f7d8</anchor>
      <arglist></arglist>
    </member>
    <member kind="function" protection="private">
      <type>bool</type>
      <name>firing_rec</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a72cc8b1d82371aeb75855463d8be7892</anchor>
      <arglist>(int des_place, std::set&lt; int &gt; &amp;skip_transitions, std::set&lt; int &gt; &amp;visited_places)</arglist>
    </member>
    <member kind="function" protection="private">
      <type>edge_writer&lt; PropertyMap, NameMap &gt;</type>
      <name>make_edge_writer</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>acb1c46afd5adcee2e4bfc0087985f9dd</anchor>
      <arglist>(PropertyMap pmap, NameMap map)</arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::vector&lt; GraphType::vertex_descriptor &gt;</type>
      <name>all_idx</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a2029f611e8c3d75d28fac5961334bb4a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::vector&lt; Eigen::VectorXi &gt;</type>
      <name>all_markings</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a7a5b323722a1325baadd7a5266d79b98</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>Eigen::MatrixXi</type>
      <name>Dm</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a125e97194dd0c1069da4aae1d0f907bb</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>Eigen::MatrixXi</type>
      <name>Dp</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a9de285bf0ed8ee9c6343f523d56ccd87</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::vector&lt; int &gt;</type>
      <name>firing_seq</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>aaf85a2203b3945a34c6bb2b691c7703a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>Eigen::MatrixXi</type>
      <name>I</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a95e5bc5799bc4e2491b04286e4058c5c</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>Eigen::VectorXi</type>
      <name>marking</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>af2bde786dc810faccca438c1d5ded64b</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::map&lt; std::string, PlaceInfo &gt;</type>
      <name>nameMap</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>af928e83f573ae9ef362a76a8e076dddc</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::map&lt; int, std::string &gt;</type>
      <name>placeMap</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a0d97686694a49cc87d3b2444cfa97216</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::map&lt; int, int &gt;</type>
      <name>placeToVertexMap</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a865038b1c6456d293dd81d40c1c2c658</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>PNGraphType</type>
      <name>pngraph</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a2103f90226ef9bf05484088abe663938</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>int</type>
      <name>pnum</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>ad368fa9881dd6a834e46376e34fc7379</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::vector&lt; int &gt;</type>
      <name>resourcePosition</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>aa7f0d94c020b8c03347e61c21c0af555</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>GraphType</type>
      <name>rgraph</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a5590d6f4f894334daae49531bcbf6074</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>GraphType</type>
      <name>rgraph2</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>aad1af45184ccc894aa1a2f3cce3d300a</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>int</type>
      <name>tnum</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a559a3b66464bd480e4ea4bb2203618f7</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable" protection="private">
      <type>std::map&lt; int, std::string &gt;</type>
      <name>transitionMap</name>
      <anchorfile>classlabust_1_1control_1_1PNController.html</anchorfile>
      <anchor>a7e5ffabd84f723e5af239364c50119ba</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::edge_writer</name>
    <filename>structlabust_1_1control_1_1PNController_1_1edge__writer.html</filename>
    <templarg>PropertyMap</templarg>
    <templarg>NameMap</templarg>
    <member kind="function">
      <type></type>
      <name>edge_writer</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1edge__writer.html</anchorfile>
      <anchor>a31813dc4bb003540a670f06c6ad4c87f</anchor>
      <arglist>(PropertyMap edge_map, NameMap map)</arglist>
    </member>
    <member kind="function">
      <type>void</type>
      <name>operator()</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1edge__writer.html</anchorfile>
      <anchor>ad2c80dd27190ac036e5f250991ca3288</anchor>
      <arglist>(std::ostream &amp;out, const Edge &amp;e) const </arglist>
    </member>
    <member kind="variable">
      <type>PropertyMap</type>
      <name>edge_map</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1edge__writer.html</anchorfile>
      <anchor>a9099ee8dac9acaf4e9fadb51cf3cc849</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>NameMap</type>
      <name>map</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1edge__writer.html</anchorfile>
      <anchor>aee86d6bea21218d395fbc6ccef4f6641</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::EdgeProperty</name>
    <filename>structlabust_1_1control_1_1PNController_1_1EdgeProperty.html</filename>
    <member kind="typedef">
      <type>boost::edge_property_tag</type>
      <name>kind</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1EdgeProperty.html</anchorfile>
      <anchor>ab717b53f108ea0104d3f11aba87ee787</anchor>
      <arglist></arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>EdgeProperty</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1EdgeProperty.html</anchorfile>
      <anchor>ac72d7f51447882f95afc43e0cae38967</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>EdgeProperty</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1EdgeProperty.html</anchorfile>
      <anchor>ace86f6bf03283af2e560d450deb5ad70</anchor>
      <arglist>(int t_num)</arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>t_num</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1EdgeProperty.html</anchorfile>
      <anchor>af0a1c4c13f4c2471460310084384cbf8</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>weight</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1EdgeProperty.html</anchorfile>
      <anchor>aac3239375638f8c7ea951656628c3041</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::PlaceInfo</name>
    <filename>structlabust_1_1control_1_1PNController_1_1PlaceInfo.html</filename>
    <member kind="function">
      <type></type>
      <name>PlaceInfo</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PlaceInfo.html</anchorfile>
      <anchor>aada7d5a7664cf3c0d7f938ce7c66314b</anchor>
      <arglist>()</arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>disable_t</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PlaceInfo.html</anchorfile>
      <anchor>a6ab9b116b7c4dbd209e1d5f38ed60672</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>enable_t</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PlaceInfo.html</anchorfile>
      <anchor>a8e68df02f2b1082b9fc858d3be2adea9</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>place_num</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PlaceInfo.html</anchorfile>
      <anchor>a4d6e950df0ee45c4d58078981fc8fcb3</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::pn_writer</name>
    <filename>structlabust_1_1control_1_1PNController_1_1pn__writer.html</filename>
    <member kind="function">
      <type>void</type>
      <name>operator()</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1pn__writer.html</anchorfile>
      <anchor>a0112d69eb3b1a41ff7e96c9cd675cea5</anchor>
      <arglist>(std::ostream &amp;out, const Vertex &amp;e) const </arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>pn_writer</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1pn__writer.html</anchorfile>
      <anchor>af7efa7c5e3aceb3dbd45e827d74bcdef</anchor>
      <arglist>(GraphType &amp;graph)</arglist>
    </member>
    <member kind="variable">
      <type>GraphType &amp;</type>
      <name>graph</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1pn__writer.html</anchorfile>
      <anchor>ae1a20279ffbf94907ca1532e37824198</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::pn_writer2</name>
    <filename>structlabust_1_1control_1_1PNController_1_1pn__writer2.html</filename>
    <member kind="function">
      <type>void</type>
      <name>operator()</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1pn__writer2.html</anchorfile>
      <anchor>ac50f9f301082c2a2ccc9f119a60273a5</anchor>
      <arglist>(std::ostream &amp;out, const Vertex &amp;e) const </arglist>
    </member>
    <member kind="function">
      <type></type>
      <name>pn_writer2</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1pn__writer2.html</anchorfile>
      <anchor>abc1f80af66338a07c19c3353f54d8c85</anchor>
      <arglist>(PNGraphType &amp;graph)</arglist>
    </member>
    <member kind="variable">
      <type>PNGraphType &amp;</type>
      <name>graph</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1pn__writer2.html</anchorfile>
      <anchor>a6f43e8ff75fef9c446cb471ecb5a8ec4</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::PNEdgeProperty</name>
    <filename>structlabust_1_1control_1_1PNController_1_1PNEdgeProperty.html</filename>
    <member kind="variable">
      <type>int</type>
      <name>weight</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNEdgeProperty.html</anchorfile>
      <anchor>a352ab52547bfddcd060ec04854b6812d</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::PNVertexProperty</name>
    <filename>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</filename>
    <member kind="enumvalue">
      <name>t</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>aa720662a4ffb88d235c8098ee8e58085aaf3bf47336b05af163c13526f6f27239</anchor>
      <arglist></arglist>
    </member>
    <member kind="enumvalue">
      <name>p</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>aa720662a4ffb88d235c8098ee8e58085a30b36d824abd076e9db49805caec609d</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::set&lt; int &gt;</type>
      <name>dep_resource</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>a08a7ede5bc333517f1525dcadf90dc70</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>bool</type>
      <name>marked</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>a22d9fcd2dcbfeca670dd1c735f6594cf</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>std::string</type>
      <name>name</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>afe7fc8ccd8fbbba492dc2c6390d2d745</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>p_num</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>a76c2d1bbf4aa7b2aca3cb76281dc7acc</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>t_num</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>a5987f2c23f967f83f0d39ae111b86b59</anchor>
      <arglist></arglist>
    </member>
    <member kind="variable">
      <type>int</type>
      <name>type</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1PNVertexProperty.html</anchorfile>
      <anchor>adf19847ec1d62f52296d02e9bea68f50</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="struct">
    <name>labust::control::PNController::VertexProperty</name>
    <filename>structlabust_1_1control_1_1PNController_1_1VertexProperty.html</filename>
    <member kind="variable">
      <type>Eigen::VectorXi</type>
      <name>marking</name>
      <anchorfile>structlabust_1_1control_1_1PNController_1_1VertexProperty.html</anchorfile>
      <anchor>a502029a20b71a49a7953557730341625</anchor>
      <arglist></arglist>
    </member>
  </compound>
  <compound kind="namespace">
    <name>ros</name>
    <filename>namespaceros.html</filename>
  </compound>
</tagfile>
