Hybrid Choices

version 7 by AW Freyr

  • Home page
  • Beginning
  • Previous
  • Next



  • section d - Page-Dependent
    Page-dependency relates various pages to various pages.
    The verb to need means the page-dependency relation.
    Page-cancellation relates various pages to various pages.
    The verb to cancel means the page-cancellation relation.
    A choice-switch rule for a page (called Z) (this is the don't display choices without the required pages rule):
        repeat with X running through pages which are needed by Z:
            if X is not previously displayed:
                rule fails.
        
    A choice-switch rule for a page (called Z) (this is the don't display choices with a canceled page rule):
        repeat with X running through pages which cancel Z:
            if X is previously displayed:
                rule fails.
    [A page has a list of pages called the required pages. The required pages are usually {}.
    A page can be requirement-intensive or requirement-lax. A page is usually requirement-intensive.
    A page has a list of pages called the canceling pages. The canceling pages are usually {}.
    A page can be canceling-intensive or canceling-lax. A page is usually canceling-lax.]
    [A choice-switch rule for a page (called Z) (this is the don't display choices without the required pages rule):
        unless the required pages of Z is {}:
            if Z is requirement-intensive:
                repeat with X running through the required pages of Z:
                    if X is not previously displayed:
                        rule fails;
            else if Z is requirement-lax:
                let N be a truth state;
                repeat with X running through the required pages of Z:
                    if X is previously displayed:
                        now N is true;
                        break;
                if N is false:
                    rule fails.
    A choice-switch rule for a page (called Z) (this is the don't display choices with the canceling pages rule):
        unless the canceling pages of Z is {}:
            if Z is canceling-intensive:
                let N be a truth state;
                repeat with X running through the required pages of Z:
                    if X is not previously displayed:
                        now N is true;
                        break;
                if N is false:
                    rule fails;
            else if Z is canceling-lax:
                repeat with X running through the required pages of Z:
                    if X is previously displayed:
                        rule fails.]