public Clausule(bool modifier1, WeightedVariable variable1, bool modifier2, WeightedVariable variable2, bool modifier3, WeightedVariable variable3) { _modifier1 = modifier1; _variable1 = variable1; _modifier2 = modifier2; _variable2 = variable2; _modifier3 = modifier3; _variable3 = variable3; }
public Clausule(string dimacsValue) { string[] values = dimacsValue.Split(' '); int weight1 = int.Parse(values[0]); int id1 = int.Parse(values[1]); int weight2 = int.Parse(values[2]); int id2 = int.Parse(values[3]); int weight3 = int.Parse(values[4]); int id3 = int.Parse(values[5]); _variable1 = new WeightedVariable(Math.Abs(id1), weight1); _variable2 = new WeightedVariable(Math.Abs(id2), weight2); _variable3 = new WeightedVariable(Math.Abs(id3), weight3); _modifier1 = !values[1].Contains("-"); _modifier1 = !values[3].Contains("-"); _modifier1 = !values[5].Contains("-"); }