void LogicFeatures :: writeState ( void ) const
{
CHECK_LL_RETURN(llAlways);
LL << "\nLoaded KB used DL with following features:\nKB contains ";
if ( !hasInverseRole () )
LL << "NO ";
LL << "inverse role(s)\nKB contains ";
if ( !hasRoleHierarchy () )
LL << "NO ";
LL << "role hierarchy\nKB contains ";
if ( !hasTransitiveRole () )
LL << "NO ";
LL << "transitive role(s)\nKB contains ";
if ( !hasTopRole () )
LL << "NO ";
LL << "top role expressions\nKB contains ";
if ( !hasSomeAll () )
LL << "NO ";
LL << "quanitifier(s)\nKB contains ";
if ( !hasFunctionalRestriction () )
LL << "NO ";
LL << "functional restriction(s)\nKB contains ";
if ( !hasNumberRestriction () )
LL << "NO ";
else if ( hasQNumberRestriction () )
LL << "qualified ";
LL << "number restriction(s)\nKB contains ";
if ( !hasSingletons() )
LL << "NO ";
LL << "nominal(s)\n";
}
void DlSatTester :: logFinishEntry ( bool res ) const
{
CHECK_LL_RETURN(llGTA); // useless but safe
LL << "]";
if ( res )
LL << " Clash" << getClashSet();
#ifdef __DEBUG_FLUSH_LL
LL.flush ();
#endif
}
void DlSatTester :: logStartEntry ( void ) const
{
CHECK_LL_RETURN(llGTA); // useless but safe
logIndentation();
LL << "(";
curNode->logNode ();
LL << "," << curConcept << "){";
if ( isNegative (curConcept.bp()) )
LL << "~";
const DLVertex& v = DLHeap[curConcept];
LL << v.getTagName();
if ( const TNamedEntry* entry = v.getConcept() )
LL << "(" << entry->getName() << ")";
LL << "}:";
}
void modelCacheIan :: logCacheEntry ( unsigned int level ) const
{
CHECK_LL_RETURN(level);
LL << "\nIan cache: posDConcepts = ";
posDConcepts.print(LL);
LL << ", posNConcepts = ";
posNConcepts.print(LL);
LL << ", negDConcepts = ";
negDConcepts.print(LL);
LL << ", negNConcepts = ";
negNConcepts.print(LL);
#ifdef RKG_USE_SIMPLE_RULES
LL << ", extraDConcepts = ";
extraDConcepts.print(LL);
LL << ", extraNConcepts = ";
extraNConcepts.print(LL);
#endif
LL << ", existsRoles = ";
existsRoles.print(LL);
LL << ", forallRoles = ";
forallRoles.print(LL);
LL << ", funcRoles = ";
funcRoles.print(LL);
}
void DlSatTester :: logIndentation ( void ) const
{
CHECK_LL_RETURN(llGTA); // useless but safe
LL << "\n" << std::setw(getCurLevel()) << "[";
}
