| Developer Documentation |
| RAVL, Recognition And Vision Library |
| USER | HOME PAGE | CLASS LIST | CONTENTS |
| Ravl - Logic - bool Unify(const LiteralC & s1,const LiteralC & s2,BindSetC & bs) |
| bool Unify(const LiteralC & s1,const LiteralC & s2,BindSetC & bs) | |
| Unify s1 and s2 with binds bs. | |
| include | "Ravl/Logic/Unify.hh" |
| Source file: | Ravl/Logic/Base/Unify.hh |
| User Level: | Normal |
| Library: | RavlLogic |
| In Scope: | RavlLogicN |
| Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 09:59:57 2002 |