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