Var
Variable* Var();
Variable* var = summand->Var();
fLinearSpec->RemoveVariable(con->LeftSide()->ItemAt(0)->Var());
if (summand->Var() == nextSummand->Var()) {
string << s->Var()->Index();
int32 variable = summand->Var()->Index();
int32 variable = summand->Var()->Index();
int32 variable = summand->Var()->Index();
if (summand->Var() == variable) {
Variable* var = leftSide->ItemAt(i)->Var();
Variable* var = leftSide->ItemAt(i)->Var();
Variable* var = leftSide->ItemAt(i)->Var();
Variable* var = oldSummands->ItemAt(i)->Var();
fVar(summand->Var())
Variable* Var() { return fVariable.Get(); }
Variable* LeftVar() { return LeftTab()->Var(); }
Variable* RightVar() { return RightTab()->Var(); }
Variable* TopVar() { return TopTab()->Var(); }
Variable* BottomVar() { return BottomTab()->Var(); }