TAxiom* TAxiom :: simplifySForall ( TBox& KB ) const { for ( const_iterator i = begin(), i_end = end(); i != i_end; ++i ) if ( InAx::isSimpleForall(*i) ) return simplifyForall ( *i, KB ); return NULL; }
TAxiom* TAxiom :: simplifySForall ( TBox& KB ) const { for ( const auto& C: Disjuncts ) if ( InAx::isSimpleForall(C) ) return simplifyForall ( C, KB ); return nullptr; }