32 # define down_cast static_cast
34 # define down_cast dynamic_cast
38 # define down_pointer_cast std::static_pointer_cast
40 # define down_pointer_cast std::dynamic_pointer_cast
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu Jan 19 2017 11:08:40 for spot by
1.8.8