public void taskFinished() { super.taskFinished(); setProgress( progressLength ); out.println(); out.print( progressTitle ); out.print( " finished in " ); out.println( DurationFormat.SHORT.format( timer.getLast() ) ); } }
public void taskFinished() { super.taskFinished(); setProgress( progressLength ); out.println(); out.print( progressTitle ); out.print( " finished in " ); out.println( DurationFormat.SHORT.format( timer.getLast() ) ); } }
/** * {@inheritDoc} */ public QueryResult exec(Query query) { if( log.isLoggable( Level.FINE ) ) { log.fine( "Executing query " + query ); } Timer timer = new Timer( "CombinedQueryEngine" ); timer.start(); prepare( query ); branches = 0; exec( new ResultBindingImpl() ); timer.stop(); if( log.isLoggable( Level.FINE ) ) { log.log( Level.FINE, "#B=" + branches + ", time=" + timer.getLast() + " ms." ); } return result; }
log.fine( "Size estimation finished in " + nf.format( timer.getLast() / 1000.0 ) + " sec" );
log.fine( "Size estimation finished in " + nf.format( timer.getLast() / 1000.0 ) + " sec" );
public boolean isSubClassOf(ATermAppl c1, ATermAppl c2) { if( !doExplanation ) { Bool isKnownSubClass = isKnownSubClassOf( c1, c2 ); if( isKnownSubClass.isKnown() ) { return isKnownSubClass.isTrue(); } } if( log.isLoggable( Level.FINE ) ) { long count = kb.timers.getTimer( "subClassSat" ) == null ? 0 : kb.timers.getTimer( "subClassSat" ).getCount(); log.fine( count + ") Checking subclass [" + ATermUtils.toString( c1 ) + " " + ATermUtils.toString( c2 ) + "]" ); } ATermAppl notC2 = ATermUtils.negate( c2 ); ATermAppl c = ATermUtils.makeAnd( c1, notC2 ); Timer t = kb.timers.startTimer( "subClassSat" ); boolean sub = !isSatisfiable( c, false ); t.stop(); if( log.isLoggable( Level.FINE ) ) { log.fine( " Result: " + sub + " (" + t.getLast() + "ms)" ); } return sub; }
public boolean isSubClassOf(ATermAppl c1, ATermAppl c2) { if( !doExplanation ) { Bool isKnownSubClass = isKnownSubClassOf( c1, c2 ); if( isKnownSubClass.isKnown() ) { return isKnownSubClass.isTrue(); } } if( log.isLoggable( Level.FINE ) ) { long count = kb.timers.getTimer( "subClassSat" ) == null ? 0 : kb.timers.getTimer( "subClassSat" ).getCount(); log.fine( count + ") Checking subclass [" + ATermUtils.toString( c1 ) + " " + ATermUtils.toString( c2 ) + "]" ); } ATermAppl notC2 = ATermUtils.negate( c2 ); ATermAppl c = ATermUtils.makeAnd( c1, notC2 ); Timer t = kb.timers.startTimer( "subClassSat" ); boolean sub = !isSatisfiable( c, false ); t.stop(); if( log.isLoggable( Level.FINE ) ) { log.fine( " Result: " + sub + " (" + t.getLast() + "ms)" ); } return sub; }
log.fine( "Consistent: " + consistent + " (" + timer.getLast() + "ms)" );
log.fine( "Consistent: " + consistent + " (" + timer.getLast() + "ms)" );