defaultfacts.h

Go to the documentation of this file.

/***************************************************************************
 *   Copyright (C) 2006 by Rick L. Vinyard, Jr.                            *
 *   rvinyard@cs.nmsu.edu                                                  *
 *                                                                         *
 *   This file is part of the clipsmm library.                             *
 *                                                                         *
 *   The clipsmm library is free software; you can redistribute it and/or  *
 *   modify it under the terms of the GNU General Public License           *
 *   version 3 as published by the Free Software Foundation.               *
 *                                                                         *
 *   The clipsmm library is distributed in the hope that it will be        *
 *   useful, but WITHOUT ANY WARRANTY; without even the implied warranty   *
 *   of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU   *
 *   General Public License for more details.                              *
 *                                                                         *
 *   You should have received a copy of the GNU General Public License     *
 *   along with this software. If not see <http://www.gnu.org/licenses/>.  *
 ***************************************************************************/
#ifndef CLIPSDEFAULTFACTS_H
#define CLIPSDEFAULTFACTS_H

#include <string>

#include <clipsmm/environmentobject.h>

namespace CLIPS {

  class DefaultFacts : public EnvironmentObject {
    public:
      typedef CLIPSPointer<DefaultFacts> pointer;

      DefaultFacts( Environment& environment, void* cobj = NULL );

      static DefaultFacts::pointer create( Environment& environment, void* cobj = NULL );

      ~DefaultFacts();

      std::string name();

      std::string module_name();

      std::string formatted();

      DefaultFacts::pointer next();

      bool is_deletable();

      bool retract();

  };

}

#endif