465466467468469470471472
*/ public void clearCaches(boolean clearSatCache) { lastCompletion = null; if( clearSatCache ) { cache = new ConceptCacheLRU( kb ); } }
31323334353637
private ATermAppl np4 = ATermUtils.makeOr( p3, p4 ); private CachedNode DUMMY = CachedNodeFactory.createSatisfiableNode(); public void setUp() { cache = new ConceptCacheLRU( new KnowledgeBase(), 3 ); }