public final boolean isGoodState(TLCState state){
  return state.allAssigned();
}

public final boolean isGoodState ( TLCState state ) { return state . allAssigned ( ) ; }
this method determines if the argument is a valid state . a state is good iff it assigns legal explicit values to all the global state variables .
