proposition.h

Go to the documentation of this file.

/********************************************************************************
 * Copyright (C) 2017-2020 German Aerospace Center (DLR). 
 * Eclipse ADORe, Automated Driving Open Research https://eclipse.org/adore
 *
 * This program and the accompanying materials are made available under the 
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 *
 * SPDX-License-Identifier: EPL-2.0 
 *
 * Contributors: 
 *    Daniel Heß - initial implementation and API
 ********************************************************************************/
 
#pragma once
#include <string>
#include <unordered_map>
 
namespace adore
{
    namespace env
    {
        struct Proposition
        {
            unsigned char order_;   
            std::string term_;      
            bool value_;            
            double timeout_;        
            bool has_timeout_;      
            Proposition(){}
            Proposition(std::string term,bool value)
                :order_(0),term_(term),value_(value),timeout_(0.0),has_timeout_(false){}
        };
 
        class PropositionSet0
        {
            private:
            std::unordered_map<std::string,Proposition> map_;   
            double t_;                                          
            public:
            PropositionSet0():t_(0.0){}
            void setTime(double t)
            {
                t_ = t;
            }
            void add(const Proposition& p)
            {
                map_.emplace(p.term_, p).first->second = p;
            }
            bool getValue(const std::string& term,bool default_value)const
            {
                auto it = map_.find(term);
                if(it==map_.end())
                {
                    return default_value;
                }
                else if(it->second.has_timeout_ && it->second.timeout_<t_)
                {
                    return default_value;
                }
                else
                {
                    return it->second.value_;
                }                
            }
            bool hasValue(const std::string& term)const
            {
                auto it = map_.find(term);
                if(it==map_.end())
                {
                    return false;
                }
                else if(it->second.has_timeout_ && it->second.timeout_<t_)
                {
                    return false;
                }
                else
                {
                    return true;
                }                
            }
 
        };
 
 
    }
}