Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

de.fau.cs.www8.jadeowlcodec
Class CompleteCheckResult

java.lang.Object
  extended by de.fau.cs.www8.jadeowlcodec.AbstractReasonerResult
      extended by de.fau.cs.www8.jadeowlcodec.CompleteCheckResult

public class CompleteCheckResult
extends AbstractReasonerResult

Field Summary
 
Fields inherited from class de.fau.cs.www8.jadeowlcodec.AbstractReasonerResult
errors, result, warnings
 
Method Summary
static CompleteCheckResult makeCheckResult(ReasonerKBHandle rkbh)
           
 
Methods inherited from class de.fau.cs.www8.jadeowlcodec.AbstractReasonerResult
getErrors, getWarnings, isOk, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

makeCheckResult

public static CompleteCheckResult makeCheckResult(ReasonerKBHandle rkbh)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

Copyright 2007 Moritz Goeb, Bernhard Schiemann, Ulf Schreiber of Chair of Artificial Intelligence, University of Erlangen-Nuremberg