Developer Documentation |
RAVL, Recognition And Vision Library |
USER | HOME PAGE | CLASS LIST | CONTENTS |
Ravl - Logic - NamedVarC |
NamedVarC | |
Named literal. | |
include | "Ravl/Logic/NamedVar.hh" |
Source file: | Ravl/Logic/Base/NamedVar.hh |
User Level: | Develop |
Library: | RavlLogic |
In Scope: | RavlLogicN |
#include "Ravl/Logic/Literal.hh" |
Returns true if at least one substitution has been made,
false if none.
#include "Ravl/RefCounter.hh" |
Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 09:59:30 2002 |