#include <PLNShell.h>


Public Member Functions | |
| void | Launch (vtree *target) |
| void | Launch () |
Private Member Functions | |
| void | Init () |
Definition at line 32 of file PLNShell.h.
| void PLNShell::Init | ( | ) | [private] |
Definition at line 671 of file PLNShell.cc.
References haxx::ArchiveTheorems, haxx::defaultAtomSpaceWrapper, test::logfile, and haxx::printRealAtoms.

| void PLNShell::Launch | ( | vtree * | target | ) |
| void PLNShell::Launch | ( | ) |
1.5.6