1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
# Vendored from hex_solver v0.2.2 (2634e31), do not edit manually
defmodule Hex.Solver.Assignment do
@moduledoc false
alias Hex.Solver.{Assignment, Term}
defstruct term: nil,
decision_level: nil,
index: nil,
cause: nil
def intersect(%Assignment{} = left, %Assignment{} = right) do
%{left | term: Term.intersect(left.term, right.term)}
end
def decision?(%Assignment{cause: cause}) do
cause == nil
end
def to_string(%Assignment{term: term}) do
Kernel.to_string(term)
end
defimpl String.Chars do
defdelegate to_string(assignment), to: Hex.Solver.Assignment
end
defimpl Inspect do
def inspect(
%{
term: term,
decision_level: decision_level,
index: index,
cause: cause
},
_opts
) do
"#Assignment<term: #{term}#{maybe(", cause: ", cause)}, level: #{decision_level}, index: #{index}>"
end
defp maybe(_prefix, nil), do: ""
defp maybe(prefix, value), do: "#{prefix}#{value}"
end
end
|
