Remaining_Disjuncts_Index - Texas Instruments TI-89 Developer's Manual

Appendix A: System Routines — Logic

remaining_disjuncts_index

Declaration: EStackIndex remaining_disjuncts_index (EStackIndex i )
Category(ies): Logic
Description: If i indexes an OR_TAG, returns the index of the deeper of its two
operands. Otherwise returns index_false. Internally-simplified disjuncts
have the most main Boolean term shallowest.
Note that index_false is not ordinarily physically within the expression
indexed by i .
Inputs: i
Outputs: None
Assumptions: None
Side Effects: None
Availability: On AMS 2.02 and higher.
TI-89 / TI-92 Plus
Differences: None
See Also: lead_disjunct_index, lead_conjunct_index,
remaining_conjuncts_index
Example: If i indexes the internally-simplified expression
(b or a) or c
then remaining_disjuncts_index(i) returns index(b or c).
If i indexes the internally-simplified expression
x > 3
then remaining_disjuncts_index(i) returns index_false.
push_quantum (8u);
remaining_disjuncts_index (top_estack);
TI-89 / TI-92 Plus Developer Guide
— Indexes the top tag of an internally-simplified expression.
/* Push variable x */
Not for Distribution
/* Returns index_false. */
745
Beta Version January 26, 2001