Exemplos de simplifyForall em C++ (Cpp)

Exemplo n.º 1

Arquivo: tAxiom.cpp Projeto: dgu123/factplusplus

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;
}

Exemplo n.º 2

Arquivo: tAxiom.cpp Projeto: ethz-asl/libfactplusplus

TAxiom*
TAxiom :: simplifySForall ( TBox& KB ) const
{
	for ( const auto& C: Disjuncts )
		if ( InAx::isSimpleForall(C) )
			return simplifyForall ( C, KB );

	return nullptr;
}