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);
}
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);
}