Public Methods | |
Operand_Queue (void) | |
TAO_Literal_Constraint & | get_left_operand (void) |
In a binary operation, obtain the left operand. More... | |
TAO_Literal_Constraint & | get_right_operand (void) |
In a binary operation, obtain the right operand. More... | |
TAO_Literal_Constraint & | get_operand (void) |
In a unary operation, obtain the only operand. More... | |
void | dequeue_operand (void) |
Remove an operand from the queue. More... |
|
|
|
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.
|