00001 00025 #include <predicate_manager/prop_operator.h> 00026 #include <predicate_manager/common_defs.h> 00027 00028 00029 00030 using namespace predicate_manager; 00031 using namespace std; 00032 00033 00034 00035 PropOperator:: 00036 PropOperator ( const PropLogic& p1, 00037 const PropLogic& p2 ) 00038 { 00039 children_.push_back ( p1.clone() ); 00040 children_.push_back ( p2.clone() ); 00041 } 00042 00043 00044 00045 void 00046 PropOperator:: 00047 printVariables ( NameIDSet& dep_set ) const 00048 { 00049 foreach ( children_type::value_type c, children_ ) 00050 c->printVariables ( dep_set ); 00051 }