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;
     }
 }
示例#2
0
 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();
 }
示例#5
0
 public BoxedVariable(bool slack)
 {
     this.var      = default(Variable);
     this.innerVar = new InnerVariable();
     this.varKind  = slack ? VariableKind.Slack: VariableKind.NoFramework;
 }