From 512cebadad978e1f5ef87081f15bd25f8b7a4a7e Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Thu, 25 Feb 2010 17:00:14 -0500 Subject: [PATCH] For integers, if !(E=G. This means that "if (E=G) {def}" can be replaced with "if (E= G) { + } else { /* E >= G */ casename = "Case 2a (G scarce)"; Wed = 0; Wgd = weight_scale;