| definition: |
dist :: Boolean -> Boolean -> Boolean dist xs ys = case (xs, ys) of (And [], _) -> And [] (_, And []) -> And [] (And [f1], f2) -> dist f1 f2 (f1, And [f2]) -> dist f1 f2 (And (f1:fs), f2) -> And [dist f1 f2, dist (And fs) f2] (f1, And (f2:fs)) -> And [dist f1 f2, dist f1 (And fs)] (f1, f2) -> Or [f1,f2] |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
dist |
| precedence: |
no precedence defined |
| result-values: |
{And,Or}
|
| signature: |
Dimacs.Types.Boolean -> Dimacs.Types.Boolean -> Dimacs.Types.Boolean |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |