blab.yml

name: TestLogic
variable:
  a:
    uuid: 01FH
    type: BOOLEAN
    modifier: none
  b:
    uuid: 020H
    type: BOOLEAN
    modifier: none
  c:
    uuid: 021H
    type: BOOLEAN
    modifier: none
  p:
    uuid: 022H
    type: TRILEAN
    modifier: none
  q:
    uuid: 023H
    type: TRILEAN
    modifier: none
  r:
    uuid: 024H
    type: TRILEAN
    modifier: none
begin:
- statement: assign
  leaf:
    expression:
      type: constant
      leaf:
        type: BOOLEAN
        value: true
    selector:
    - type: variable
      leaf:
        object: 01FH
- statement: assign
  leaf:
    expression:
      type: constant
      leaf:
        type: BOOLEAN
        value: false
    selector:
    - type: variable
      leaf:
        object: 020H
- statement: assign
  leaf:
    expression:
      type: dyadic
      leaf:
        left:
          type: dyadic
          leaf:
            left:
              type: dyadic
              leaf:
                left:
                  type: monadic
                  leaf:
                    operand:
                      type: variable
                      leaf:
                        object: 01FH
                    operation: "~"
                operation: '&'
                right:
                  type: variable
                  leaf:
                    object: 020H
            operation: '|'
            right:
              type: variable
              leaf:
                object: 021H
        operation: '|'
        right:
          type: constant
          leaf:
            type: BOOLEAN
            value: true
    selector:
    - type: variable
      leaf:
        object: 021H
close:
- statement: assign
  leaf:
    expression:
      type: constant
      leaf:
        type: BOOLEAN
        value: true
    selector:
    - type: variable
      leaf:
        object: 022H
- statement: assign
  leaf:
    expression:
      type: constant
      leaf:
        type: BOOLEAN
        value: false
    selector:
    - type: variable
      leaf:
        object: 023H
- statement: assign
  leaf:
    expression:
      type: constant
      leaf:
        type: TRILEAN
        value: null
    selector:
    - type: variable
      leaf:
        object: 024H
- statement: assign
  leaf:
    expression:
      type: dyadic
      leaf:
        left:
          type: dyadic
          leaf:
            left:
              type: dyadic
              leaf:
                left:
                  type: variable
                  leaf:
                    object: 022H
                operation: '&'
                right:
                  type: monadic
                  leaf:
                    operand:
                      type: variable
                      leaf:
                        object: 023H
                    operation: "~"
            operation: '|'
            right:
              type: variable
              leaf:
                object: 024H
        operation: '|'
        right:
          type: constant
          leaf:
            type: BOOLEAN
            value: true
    selector:
    - type: variable
      leaf:
        object: 024H