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. |
|
|
|
Remove an operand from the queue.
|
|
In a binary operation, obtain the left operand.
|
|
In a unary operation, obtain the only operand.
|
|
In a binary operation, obtain the right operand.
|