public void clear ( ) { this . posLiterals = new HashMap <> ( ) ; this . negLiterals = new HashMap <> ( ) ; this . generatedVariables = new HashSet <> ( ) ; this . nots = new HashMap <> ( ) ; this . implications = new HashMap <> ( ) ; this . equivalences = new HashMap <> ( ) ; this . ands2 = new HashMap <> ( ) ; this . ands3 = new HashMap <> ( ) ; this . ands4 = new HashMap <> ( ) ; this . andsN = new HashMap <> ( ) ; this . ors2 = new HashMap <> ( ) ; this . ors3 = new HashMap <> ( ) ; this . ors4 = new HashMap <> ( ) ; this . orsN = new HashMap <> ( ) ; this . pbConstraints = new HashMap <> ( ) ; this . ccCounter = 0 ; this . pbCounter = 0 ; this . cnfCounter = 0 ; }
Removes all formulas from the factory cache .