src/AstProgram.cpp
void AstProgram::addFunctorDeclaration(std::unique_ptr<AstFunctorDeclaration> f) {
    const auto& name = f->getName();
    assert(functors.find(name) == functors.end() && "Redefinition of relation!");
    functors[name] = std::move(f);
}
/* Add a functor declaration to the program */
Add a functor declaration to the program
Add a functor declaration to the program
void AstProgram::addFunctorDeclaration(std::unique_ptr<AstFunctorDeclaration> f) {
    const auto& name = f->getName();
    assert(functors.find(name) == functors.end() && "Redefinition of relation!");
    functors[name] = std::move(f);
}
void AstProgram :: addFunctorDeclaration ( std :: unique_ptr < AstFunctorDeclaration > f ) { const auto & name = f -> getName ( ) ; assert ( functors . find ( name ) == functors . end ( ) && " " ) ; functors [ name ] = std :: move ( f ) ; }
Add a functor declaration to the program
Add a functor declaration to the program