﻿namespace PAT.Common.Classes.Ultility
{
    public class Constants
    {
        public const string TAU = "\u03C4";
        public const string TERMINATION = "terminate";
        public const string TOCK = "tock";

        
        //Assertion Search Engine
        public const string ENGINE_FORWARD_SEARCH_BDD = "Symbolic Model Checking using BDD with Forward Search Strategy";
        public const string ENGINE_BACKWARD_SEARCH_BDD = "Symbolic Model Checking using BDD with Backward Search Strategy";
        public const string ENGINE_FORWARD_BACKWARD_SEARCH_BDD = "Symbolic Model Checking using BDD with Forward-Backward Search Strategy";
        
        public const string ENGINE_BDD_SEARCH = "Symbolic Model Checking using BDD";
    }
}