

Public Member Functions | |
| Operand_Queue (void) | |
| TAO_Literal_Constraint & | get_left_operand (void) |
| In a binary operation, obtain the left operand. | |
| TAO_Literal_Constraint & | get_right_operand (void) |
| In a binary operation, obtain the right operand. | |
| TAO_Literal_Constraint & | get_operand (void) |
| In a unary operation, obtain the only operand. | |
| void | dequeue_operand (void) |
| Remove an operand from the queue. | |
Definition at line 315 of file Constraint_Visitors.h.
| TAO_Constraint_Evaluator::Operand_Queue::Operand_Queue | ( | void | ) |
| void TAO_Constraint_Evaluator::Operand_Queue::dequeue_operand | ( | void | ) |
Remove an operand from the queue.
Definition at line 49 of file Constraint_Visitors.cpp.
00050 { 00051 TAO_Literal_Constraint operand; 00052 this->dequeue_head (operand); 00053 }
| TAO_Literal_Constraint & TAO_Constraint_Evaluator::Operand_Queue::get_left_operand | ( | void | ) |
In a binary operation, obtain the left operand.
Definition at line 25 of file Constraint_Visitors.cpp.
00026 { 00027 TAO_Literal_Constraint* left_operand = 0; 00028 this->get (left_operand, 1); 00029 return *left_operand; 00030 }
| TAO_Literal_Constraint & TAO_Constraint_Evaluator::Operand_Queue::get_operand | ( | void | ) |
In a unary operation, obtain the only operand.
Definition at line 41 of file Constraint_Visitors.cpp.
00042 { 00043 TAO_Literal_Constraint* operand = 0; 00044 this->get (operand); 00045 return *operand; 00046 }
| TAO_Literal_Constraint & TAO_Constraint_Evaluator::Operand_Queue::get_right_operand | ( | void | ) |
In a binary operation, obtain the right operand.
Definition at line 33 of file Constraint_Visitors.cpp.
00034 { 00035 TAO_Literal_Constraint* right_operand = 0; 00036 this->get (right_operand); 00037 return *right_operand; 00038 }
1.6.1