public static RandomVariable ToRandomVariable(this JToken json0) { JObject json = (JObject)json0; return new RandomVariable( json["name"].Value<string>(), json["space"].ToRandomVariableSpace(), json["distributionSet"].ToDistributionSet()); }