Goose  Diff

Differences From Artifact [f9a04f2895]:

• File bs/sema/unify.h — part of check-in [fec093d83d] at 2019-01-06 16:35:28 on branch trunk — Implement unification scoring. (user: achavasse size: 315)

To Artifact [eb8a2615e0]:

• File bs/sema/unify.h — part of check-in [403ca496c8] at 2019-03-10 19:20:48 on branch trunk — Overloading: first untested draft of utrie unification. (user: achavasse size: 315)

1
2
3
4
5
6
7
8

9
10
11
12

1
2
3
4
5
6

7
8
9
10
11
12

-

+

#ifndef EMPATHY_SEMA_UNIFY_H
#define EMPATHY_SEMA_UNIFY_H

namespace empathy::sema
{
    using UniGen = Generator< pair< Term, UnificationContext > >;
    UniGen Unify( const Term& lhs, const Term& rhs, UnificationContext& context );

    UniGen Unify( const Term& lhs, const Term& rhs, UnificationContext& context );
    UniGen HalfUnify( const Term& lhs, UnificationContext& context );
}

#endif