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