[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.4.3 True/False Tests

813D3 ?SEMI ( T → :: ; )
( F → :: <ob1> <rest> ; )
81414 NOT?SEMI ( T → :: <ob1> <rest> ; )
( F → :: ; )
842EF ?SEMIDROP ( ob T → :: ob ; )
( ob F → :: <ob1> <rest> ; )
8398A ?SWAP ( ob1 ob2 T → :: ob2 ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
8380E ?SKIPSWAP ( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 ob1 <ob1> <rest> ; )
839CB ?SWAPDROP ( ob1 ob2 T → :: ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 <ob1> <rest> ; )
839B2 NOT?SWAPDROP ( ob1 ob2 T → :: ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 <ob1> <rest> ; )
817A2 RPIT ( T ob → :: ob <ob1> <rest> ; )
( F ob → :: <ob1> <rest> ; )
ob is actually executed, and not pushed in the stack.
817A7 RPITE ( T ob1 ob2 → :: ob1 <ob1> <rest> ; )
( F ob1 ob2 → ob2 <ob1> <rest> ; )
ob1 or ob2 is actually executed, and not pushed in the stack.
813FB COLARPITE ( T ob1 ob2 → :: ob1 ; )
( F ob1 ob2 → :: ob2 ; )
ob1 or ob2 is actually executed, and not pushed in the stack.
DE622 2'RCOLARPITE Return to composite and ITE there.
81405 IT ( T → :: <ob1> <rest> ; )
( F → :: <ob2> <rest> ; )
8173E ?SKIP ( T → :: <ob2> <rest> ; )
( F → :: <ob1> <rest> ; )
aka: NOT_IT
8140A ITE ( T → :: <ob1> <ob3> <rest> ; )
( F → :: <ob2> <rest> ; )
8140F ITE_DROP ( ob T → :: <ob2> <rest> ; )
( ob F → :: ob <ob1> <rest> ; )
8486C ANDITE ( f1 f2 → :: <ob1> <ob3> <rest> ; )
( f1 f2 → :: <ob2> <rest> ; )
813D8 case ( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
81419 NOTcase ( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
846F5 ANDcase ( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
847EA ANDNOTcase ( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
81FD1 ORcase ( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
813EC casedrop ( ob T → :: <ob1> ; )
( ob F → :: ob <ob2> <rest> ; )
8142D NOTcasedrop ( ob T → :: ob <ob2> <rest> ; )
( ob F → :: <ob1> ; )
813E2 case2drop ( ob1 ob2 T → :: <ob1> ; )
( ob1 ob2 F → :: ob1 ob2 <ob2> <rest> ; )
81423 NOTcase2drop ( ob1 ob2 T → :: ob1 ob2 <ob2> <rest> ; )
( ob1 ob2 F → :: <ob1> ; )
813E7 caseDROP ( ob T → :: ; )
( ob F → :: ob <ob1> <rest> ; )
81428 NOTcaseDROP ( ob T → :: ob <ob1> <rest> ; )
( ob F → :: ; )
842A4 casedrptru ( ob T → T )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPTRU.
83FD9 casedrpfls ( ob T → F )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPFLS.
844F7 NOTcsdrpfls ( ob T → :: ob <ob1> <rest> ; )
( ob F → F )
Note: should be called NOTcaseDRPFLS.
813DD case2DROP ( ob1 ob2 T → :: ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
8141E NOTcase2DROP ( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ; )
83FF2 case2drpfls ( ob1 ob2 T → F )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
Note: should be called case2DRPFLS.
83F52 caseTRUE ( T → T )
( F → :: <ob1> <rest> ; )
842BD NOTcaseTRUE ( T → :: <ob1> <rest> ; )
( F → T )
8400B caseFALSE ( T → F )
( F → :: <ob1> <rest> ; )
842D6 NOTcaseFALSE ( T → :: <ob1> <rest> ; )
( F → F )
81400 COLAcase ( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
Drops the rest of current stream and executes case in the stream above.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated by Carsten Dominik on May, 30 2005 using texi2html