| User Documentation |
| RAVL, Recognition And Vision Library |
| DEVELOP | 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" |
| User Level: | Normal |
| Library: | RavlLogic |
| In Scope: | RavlLogicN |
| Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 10:00:21 2002 |