public Set<RandomVariable> getFor() { RandomVariable[] arr = new RandomVariable[randomVarInfo.Keys.Count]; randomVarInfo.Keys.CopyTo(arr, 0); return new Set<RandomVariable>(new List<RandomVariable>(arr)); }