public static bool Contains(Stav s) { return prozkoumano.Contains(s.GetHash()); }
public static bool Contains(Stav s) { return(prozkoumano.Contains(s.GetHash())); }
public static void Add(Stav s) { prozkoumano.Add(s.GetHash()); }