format/src/main/java/com/github/sadikovi/riff/tree/State.java
/**
   * Union on states.
   * @param that other state
   * @return merged state
   */
Union on states.
@param that other state
@return merged state
Union on states . @param that other state @return merged state
public State or(State that) {
    if (this == True || that == True) return True;
    if (this == Unknown || that == Unknown) return Unknown;
    return False;
  }
public State or ( State that ) { if ( this == True || that == True ) return True ; if ( this == Unknown || that == Unknown ) return Unknown ; return False ; }
Union on states.
Union on states .