public BoxedVariable(TVar variable)
{
if (variable != null)
{
this.variable = variable;
inner_variable = null;
kind = VariableKind.Normal;
}
else
{
this.variable = default(TVar);
inner_variable = new InnerVariable();
kind = VariableKind.Slack;
}
}
public BoxedVariable(Variable var)
{
if (var != null)
{
this.var = var;
this.innerVar = default(InnerVariable);
this.varKind = VariableKind.Framework;
}
else
{
this.var = default(Variable);
this.innerVar = new InnerVariable();
this.varKind = VariableKind.Slack;
}
}
BoxedVariable()
{
variable = default(TVar);
inner_variable = new InnerVariable();
kind = VariableKind.Slack;
}
public static void ResetFreshVariableCounter()
{
InnerVariable.ResetFreshVariableCounter();
}
public BoxedVariable(bool slack)
{
this.var = default(Variable);
this.innerVar = new InnerVariable();
this.varKind = slack ? VariableKind.Slack: VariableKind.NoFramework;
}
