public Variable newVariable ( ) { if ( this . miniSat == null && this . cleaneLing == null ) return this . f . newCCVariable ( ) ; else if ( this . miniSat != null ) { final int index = this . miniSat . underlyingSolver ( ) . newVar ( ! this . miniSat . initialPhase ( ) , true ) ; final String name = FormulaFactory . CC_PREFIX + "MINISAT_" + index ; this . miniSat . underlyingSolver ( ) . addName ( name , index ) ; return new EncodingAuxiliaryVariable ( name , false ) ; } else return new EncodingAuxiliaryVariable ( this . cleaneLing . createNewVariableOnSolver ( FormulaFactory . CC_PREFIX + "CLEANELING" ) , false ) ; }
Returns a new auxiliary variable .