contrib/rpl/rgrl/rgrl_invariant_set

Go to the documentation of this file.

00001 
00002 #ifndef rgrl_invariant_set_sptr_h_
00003 #define rgrl_invariant_set_sptr_h_
00004 
00005 //:
00006 // \file
00007 
00008 #include <vbl/vbl_smart_ptr.h>
00009 
00010 class rgrl_invariant_set;
00011 
00012 //: Reference-counted smart pointer to rgrl_invariant.
00013 typedef vbl_smart_ptr< rgrl_invariant_set > rgrl_invariant_set_sptr;
00014 
00015 #endif // rgrl_invariant_set_sptr_h_