Ejemplos de ECAction en C# (CSharp)

Ejemplo n.º 1

 public void PutECAction(ECAction action)
 {
     EcActions.Add(action);
 }

Ejemplo n.º 2

            private static void _addCounterRules(ref string rule1, ref string rule2, ECState state, int algsCount, ECAction action)
            {
                string add = "(";

                add += Smv.EccStateVar + "=" + Smv.EccState(state.Name);
                add += " & ";
                add += Smv.EcActionsCounterVar + " = " + (action.Number);
                //(state.ActionsCount > 0 ? state.ActionsCount : 1);
                add   += " & ";
                add   += Smv.AlgStepsCounterVar + " {0} " + (algsCount > 0 ? algsCount : 1);
                add   += ") | ";
                rule1 += String.Format(add, "<");
                rule2 += String.Format(add, "=");
            }

Ejemplo n.º 3

Archivo: Storage.cs Proyecto: hermixy/fb2smv

 public void PutECAction(ECAction action)
 {
     EcActions.Add(action);
 }

Ejemplo n.º 4

Archivo: SmvCodeGenerator.cs Proyecto: hermixy/fb2smv

 private static void _addCounterRules(ref string rule1, ref string rule2, ECState state, int algsCount, ECAction action)
 {
     string add = "(";
     add += Smv.EccStateVar + "=" + Smv.EccState(state.Name);
     add += " & ";
     add += Smv.EcActionsCounterVar + " = " + (action.Number);
     //(state.ActionsCount > 0 ? state.ActionsCount : 1);
     add += " & ";
     add += Smv.AlgStepsCounterVar + " {0} " + (algsCount > 0 ? algsCount : 1);
     add += ") | ";
     rule1 += String.Format(add, "<");
     rule2 += String.Format(add, "=");
 }