private static string PrintIntegerVar(PyIntegerVar intvar) { return("[PyIntegerVar " + intvar.IntValue + "]"); }
private static string PrintIntegerVar(PyIntegerVar intvar) { return "[PyIntegerVar " + intvar.IntValue + "]"; }