Texas Instruments TI89 Developer Guide - Page 782
push_but_conjunct_factor, Declaration, Categoryies, Description, Inputs, Outputs, Assumptions
![]() |
UPC - 033317198566
View all Texas Instruments TI89 manuals
Add to My Manuals
Save this manual to your list of manuals |
Page 782 highlights
740 Appendix A: System Routines - Logic push_but_conjunct_factor Declaration: void push_but_conjunct_factor (EStackIndex i, EStackIndex j) Category(ies): Logic Description: An internally-simplified conjunct has either the degenerate form deepest: b1, or the flattened form deepest: bn . . . b2 AND_TAG b1 AND_TAG, where Boolean factors b1 through bn are not AND_TAGs. i indexes such a conjunct (may be degenerate) and j == i or j indexes of its partial conjuncts: either the deepest Boolean factor, all of i, or one of the other above AND_TAGs. Pushes onto the estack the conjunct i without the lead Boolean factor of j. Examples: If i indexes the above flattened form and j indexes the partial conjunct bn . . . b2 AND_TAG, then push_but_conjuct_factor (i, j) pushes bn . . . b3 AND_TAG b1. If i indexes an equation and j == i, then push_but_conjuct_factor (i, j) pushes a TRUE_TAG. Inputs: i - Index of the top tag of an internally-simplified Boolean expression. j - i or the index of one of its partial conjuncts. Outputs: None Assumptions: None Side Effects: None Availability: On AMS 2.02 and higher. TI-89 / TI-92 Plus Differences: None See Also: lead_conjunct_factor_index, remaining_conjuncts_index Example: void push_but_conjunct_factor (EStackIndex i, EStackIndex j) { if (i == j) push_expression (remaining_conjuncts_index (i)); else { push_but_conjunct_factor (remaining_conjuncts_index (i), j); and_onto_top (lead_conjunct_factor_index (i)); } } TI-89 / TI-92 Plus Developer Guide Not for Distribution Beta Version January 26, 2001
![](/manual_guide/products/texas-instruments-ti89-developer-guide-95b636f/782.png)