Distribution.cs

using System.Text;
using System.Threading.Tasks;
using System.Xml;
using Waher.Content;
using Waher.Content.Xml;
 
namespace TAG.Simulator.ObjectModel.Distributions
{
    public abstract class Distribution : SimulationNode, IDistribution
    {
        private string id;
        private double n;
        private double timeCycleUnits;
 
        public Distribution(ISimulationNode Parent, Model Model)
            : base(Parent, Model)
        {
        }
 
        public string Id => this.id;
 
        public double N => this.n;
 
        public double TimeCycleUnits => this.timeCycleUnits;
 
        public override Task FromXml(XmlElement Definition)
        {
            this.id = XML.Attribute(Definition, "id");
            this.n = XML.Attribute(Definition, "N", 0.0);
 
            return Task.CompletedTask;
        }
 
        public override Task Initialize()
        {
            this.Model.Register(this);
            this.timeCycleUnits = this.Model.TimeCycleUnits;
 
            return base.Initialize();
        }
 
        public virtual int CheckTrigger(double t1, double t2, int NrCycles)
        {
            double p;
 
            if (t1 < t2)
                p = this.GetCumulativeProbability(t2, NrCycles) - this.GetCumulativeProbability(t1, NrCycles);
            else
            {
                p = this.GetCumulativeProbability(this.Model.TimeCycleUnits, NrCycles - 1) - this.GetCumulativeProbability(t1, NrCycles - 1);
                p += this.GetCumulativeProbability(t2, NrCycles) - this.GetCumulativeProbability(0, NrCycles);
            }
 
            if (p <= 0)
                return 0;
 
            p *= this.N;
 
            int Nr = (int)p;
            if (Nr > 0)
                p -= Nr;
 
            if (p > 0 && this.Model.GetRandomDouble() <= p)
                Nr++;
 
            return Nr;
        }
 
        protected abstract double GetCumulativeProbability(double t, int NrCycles);
 
        public void ExportPdfOnceOnly(StringBuilder Output)
        {
            if (!this.exported)
            {
                this.exported = true;
                this.ExportPdf(Output);
            }
        }
 
        private bool exported;
 
        public virtual void ExportPdf(StringBuilder Output)
        {
            Output.Append(this.id);
            Output.Append("PDF(t):=");
            if (this.n != 1)
            {
                Output.Append(CommonTypes.Encode(this.n));
                Output.Append('*');
            }
            Output.Append('(');
            this.ExportPdfBody(Output);
            Output.AppendLine(");");
        }
 
        public abstract void ExportPdfBody(StringBuilder Output);
    }
}