boolean displayContextAssump(NodeRepresentation rep,int i){
  return rep.isCreated || ((!state.splitChosen()) && showContextValue);
}

boolean displayContextAssump ( NodeRepresentation rep , int i ) { return rep . isCreated || ( ( ! state . splitChosen ( ) ) && showContextValue ) ; }
this returns true iff we should display a context assumption rep = state . assumereps ( i ) . it equals : \ / i = chosensplit \ / rep . iscreated = true \ / / \ state . chosensplit = - 1 / \ / \ showcontextvalue = true note that any of the first three disjunctions can be true when showcontextvalue is false because it was set to false after a context assumption was decomposed .
