User Documentation

RAVL, Recognition And Vision Library

DEVELOP

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"
User Level:	Normal
Library:	RavlLogic
In Scope:	RavlLogicN

any extra binding needed will be added to bs.

Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 10:00:21 2002