Searched refs:B_SELF_CONFLICT (Results 1 – 2 of 2) sorted by relevance
39 B_SELF_CONFLICT enumerator
978 problemType = BSolverProblem::B_SELF_CONFLICT; in _AddProblem()