public EmbASPManager(InputProgram input) : base()
 {
     if (!InstanceFieldsInitialized)
     {
         InitializeInstanceFields();
         InstanceFieldsInitialized = true;
     }
     this.input = input;
 }
 public EmbASPManager(Handler handler, string solverPath, InputProgram input) : base()
 {
     if (!InstanceFieldsInitialized)
     {
         InitializeInstanceFields();
         InstanceFieldsInitialized = true;
     }
     this.handler    = handler;
     this.solverPath = solverPath;
     this.input      = input;
 }