private void initializeOriginalSolver() {
        this.dense = false;
        this.schedule = false;
        this.touched = 0;
        this.distilled = 0;
        this.original = new LNGIntVector();
        this.clauses = new LNGVector<>();
        this.occs = new LNGVector<>();
        this.candsElim = new LNGLongPriorityQueue();
        this.candsBlock = new LNGLongPriorityQueue();
        this.tostrengthen = new LNGVector<>();
        this.extension = new LNGIntVector();
        this.simplifier = Simplifier.NOSIMP;
    }
private void initializeOriginalSolver ( ) { this . dense = false ; this . schedule = false ; this . touched = 0 ; this . distilled = 0 ; this . original = new LNGIntVector ( ) ; this . clauses = new LNGVector < > ( ) ; this . occs = new LNGVector < > ( ) ; this . candsElim = new LNGLongPriorityQueue ( ) ; this . candsBlock = new LNGLongPriorityQueue ( ) ; this . tostrengthen = new LNGVector < > ( ) ; this . extension = new LNGIntVector ( ) ; this . simplifier = Simplifier . NOSIMP ; }
Initializes the internal solver state.