Beispiel #1
0
        /**
         * project a judgment to a difference occurrence time
         *
         * \param targetTime The time to be projected into
         * \param currentTime The current time as a reference
         * \return The projected belief
         */
        public ClassicalSentence projection(long targetTime, long currentTime)
        {
            TruthValue newTruth = projectionTruth(targetTime, currentTime);

            bool eternalizing = newTruth is EternalizedTruthValue;

            Stamp newStamp = eternalizing ? stamp.cloneWithNewOccurrenceTime(Stamp.ETERNAL) :
                             stamp.cloneWithNewOccurrenceTime(targetTime);

            MakeByTermPunctuationTruthStampNormalizeParameters parameters = new MakeByTermPunctuationTruthStampNormalizeParameters();

            parameters.term       = term;
            parameters.punctation = punctation;
            parameters.truth      = newTruth;
            parameters.stamp      = newStamp;
            parameters.normalize  = false;
            return(makeByTermPunctuationTruthStampNormalize(parameters));
        }