7 lines
175 B
Mathematica
7 lines
175 B
Mathematica
|
function F = eliminateBinary(F,binaries)
|
||
|
|
|
||
|
|
F = flatten(F);
|
||
|
|
for i = 1:length(F.clauses)
|
||
|
|
data = eliminateBinary(F.clauses{i}.data,binaries);
|
||
|
|
F.clauses{i}.data = data;
|
||
|
|
end
|