| Developer Documentation |
| RAVL, Recognition And Vision Library |
| USER | HOME PAGE | CLASS LIST | CONTENTS |
| Ravl - Logic - bool Unify(const LiteralC & s1,const LiteralC & s2) |
| bool Unify(const LiteralC & s1,const LiteralC & s2) | |
| Test if s1 and s2 can be unified. | |
| 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 |