AILogic.h

//      Copyright (C) 2004 Dylan Blair
//
//      email: dblair@alumni.cs.utexas.edu
//
//      This library is free software; you can redistribute it and/or
//      modify it under the terms of the GNU Lesser General Public
//      License as published by the Free Software Foundation; either
//      version 2.1 of the License, or (at your option) any later version.
//
//      This 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
//      Lesser General Public License for more details.
//
//      You should have received a copy of the GNU Lesser General Public
//      License along with this library; if not, write to the Free Software
//      Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

#pragma warning(disable:4786) //get rid of MSVC++ warning about long names for STL

#ifndef AILOGIC_H
#define AILOGIC_H

#include "AIFSM.h"
#include "AIKB.h"

extern AIKB global_kb;

class AILogic {
        struct AIRule {
                std::vector<AIPremise> theantecedents;
                std::vector<int> num_of_params_in_antecs_to_check;
                int  consequentstateinput;
                std::vector<int> timesfound;
                std::vector<bool> accept_only_new_since_state_change;
                std::vector<float> secondsold; 
                std::vector<AIPremise> consekbprems;
                std::vector<AIPremise> remkbprems;
                std::vector<bool> remall; 

                int serialize(std::ofstream& fout_) const;
                int assemble(std::ifstream& fin_);
        };

        AI_LOGIC_IDS LOGICID;
        std::vector<AIRule> therules;
        int rulesmax;
public:
        AILogic(AI_LOGIC_IDS LOGICID_, const int rulesmax_=-1);

        AI_LOGIC_IDS getLOGICID() const { return LOGICID; }

        bool createDerivationRule(std::vector<AIPremise> theantecedents_, 
                std::vector<int> num_of_params_in_antecs_to_check_, int consequentstateinput_, 
                std::vector<int> timesfound_=std::vector<int>(), 
                std::vector<bool> accept_only_new_since_state_change_=std::vector<bool>(), 
                std::vector<float> secondsold_=std::vector<float>(), 
                std::vector<AIPremise> consekbprems_=std::vector<AIPremise>(), 
                std::vector<AIPremise> remkbprems_=std::vector<AIPremise>(), 
                std::vector<bool> remall_=std::vector<bool>());

        bool performLogic(AIState*& state_, AIKB*& kb_, AIFSM*& fsm_, float& timestamp_, bool includeglobalkb_=false); 

        int serialize(std::ofstream& fout_) const;

        int assemble(std::ifstream& fin_);
};

namespace AIFileIO {
        template <>
        int serialize(std::ofstream& fout_, const std::vector<AILogic::AIRule>& ruleVector_);

        template <>
        int assemble(std::ifstream& fin_, std::vector<AILogic::AIRule>& ruleVector_);
}

#endif //AILOGIC_H

---