public BranchingHeuristic(Clauses clauses, RList <int> variables) { this.clauses = clauses; this.variables = variables; this.appearances = new List <VariableAppearance>(); CalculateAppearances(); }
public bool Solve() { variables = new RList <int>(new List <int>(new int[VariableCount + 1])); clauses = new Clauses(clauseList); heuristic = new BranchingHeuristic(clauses, variables); SetVariableAppearances(); return(SolveImplementation()); }