public int GetNextVarId(FreshVarKind kind) { var id = 0; foreach (var a in actions) { id = Math.Max(id, a.GetNextVarId(kind)); } return(id); }
public int GetNextVarId(FreshVarKind kind) { Contract.Assert(actionSet != null); return(actionSet.GetNextVarId(kind)); }
public int GetNextVarId(FreshVarKind kind) { return(Body.GetNextVarId(kind)); }