C# (CSharp) FreshVarKind Beispiele

Beispiel #1

Datei: ActionSet.cs Projekt: thisiscam/formula

        public int GetNextVarId(FreshVarKind kind)
        {
            var id = 0;

            foreach (var a in actions)
            {
                id = Math.Max(id, a.GetNextVarId(kind));
            }

            return(id);
        }

Beispiel #2

 public int GetNextVarId(FreshVarKind kind)
 {
     Contract.Assert(actionSet != null);
     return(actionSet.GetNextVarId(kind));
 }

Beispiel #3

Datei: Action.cs Projekt: thisiscam/formula

 public int GetNextVarId(FreshVarKind kind)
 {
     return(Body.GetNextVarId(kind));
 }