#include <clipsmm/global.h>
#include <clips/clips.h>
#include <clipsmm/environment.h>
Go to the source code of this file.