AddVariable
Variable* AddVariable();
bool AddVariable(Variable* variable);
spec->AddVariable(tab);
spec->AddVariable(tab);
if (!Solver()->AddVariable(tab))
if (!Solver()->AddVariable(tab))
fLinearSpec.AddVariable(var);
Variable* variable = fLinearSpec->AddVariable();
if (!AddVariable(variable)) {
Variable* variable = fLinearSpec->AddVariable();
Variable* variable = fLinearSpec->AddVariable();
Variable* x1 = ls.AddVariable();
Variable* x2 = ls.AddVariable();
Variable* x1 = ls.AddVariable();
Variable* x2 = ls.AddVariable();
Variable* x3 = ls.AddVariable();
Variable* x1 = ls.AddVariable();
Variable* x2 = ls.AddVariable();
Variable* x3 = ls.AddVariable();