Exemplos de inIRwithC em C++ (Cpp)

Exemplo n.º 1

Arquivo: dlCompletionTree.cpp Projeto: dgu123/factplusplus

// check if the NODE's and current node's IR are labelled with the same level
bool DlCompletionTree :: nonMergable ( const DlCompletionTree* node, DepSet& dep ) const
{
	if ( IR.empty() || node->IR.empty() )
		return false;

	for ( IRInfo::const_iterator p = node->IR.begin(); p != node->IR.end(); ++p )
		if ( inIRwithC ( *p, dep ) )
			return true;

	return false;
}

Exemplo n.º 2

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

// check if the NODE's and current node's IR are labeled with the same level
bool DlCompletionTree :: nonMergable ( const DlCompletionTree* node, DepSet& dep ) const
{
    if ( IR.empty() || node->IR.empty() )
        return false;

    for ( const auto& cwd: node->IR )
        if ( inIRwithC ( cwd, dep ) )
            return true;

    return false;
}