コード例 #1
0
        public CA_ST MkCntAut(int initialState, Expr[] initalCounterValues,
                              IEnumerable <Move <Rule <Expr> > > movesandfinals, string name = "CA")
        {
            var aut = new CA_ST(this, initialState, initalCounterValues, movesandfinals, name);

            return(aut);
        }
コード例 #2
0
        public CA_ST Intersect(CA_ST A, CA_ST B)
        {
            var AxB_st = A.st.Compose(B.st);

            AxB_st.Name = A.st.Name + "x" + B.st.Name;
            var AxB = new CA_ST(this, A.nrOfCounters + B.nrOfCounters, AxB_st);

            return(AxB);
        }