View Javadoc

1   package org.sat4j.minisat.orders;
2   
3   import static org.sat4j.core.LiteralsUtils.var;
4   
5   /**
6    * @since 2.2
7    */
8   public final class PhaseCachingAutoEraseStrategy extends
9   		AbstractPhaserecordingSelectionStrategy {
10  
11  	/**
12  	 * 
13  	 */
14  	private static final long serialVersionUID = 1L;
15  
16  	public void assignLiteral(int p) {
17  		phase[var(p)] = p;
18  	}
19  
20  	public void updateVar(int p) {
21  		phase[var(p)] = p;
22  	}
23  
24  	@Override
25  	public String toString() {
26  		return "Phase caching with auto forget feature";
27  	}
28  
29  }