code: private void initialize() {
          this.level = 0;
          this.next = 0;
          this.empty = null;
          this.scoreIncrement = 1;
          this.ignore = null;
          this.vars = new LNGVector<>();
          this.vals = new LNGByteVector();
          this.phases = new LNGByteVector();
          this.decisions = new LNGDoublePriorityQueue();
          this.control = new LNGVector<>();
          this.trail = new LNGIntVector();
          this.addedlits = new LNGIntVector(100);
          this.seen = new LNGIntVector();
          this.frames = new LNGIntVector();
          this.watches = new LNGVector<>();
          this.stats = new CLStats();
          this.limits = new CLLimits();
          this.model = new LNGBooleanVector();
          this.control.push(new CLFrame());
      }
docs: Initializes the internal solver state.