Exemplo n.º 1
0
 def assign_decision_level(self: Clause, assignment: Assignment, d: DecisionLevel) -> None:
   self.assign(assignment.get_assignment_at_level(d))