11 lines
210 B
Mathematica
11 lines
210 B
Mathematica
|
function F = colon(F,tag)
|
||
|
|
% COLON Overloaded
|
||
|
|
|
||
|
|
% Allows the syntax (x>0):Tag in order to give names/descriptions to
|
||
|
|
% constraints
|
||
|
|
|
||
|
|
F = flatten(F);
|
||
|
|
for i = 1:length(F.clauses)
|
||
|
|
F.clauses{i}.handle = tag;
|
||
|
|
end
|
||
|
|
|