Operaciones de conjunto no soportadas en Dafny.
Soy un traductor de español que traduce documentos de TI. Traduzca lo siguiente al español. No traduzca el código y la salida en formato markdown:
Soy nuevo en Dafny y me encontré con un problema al trabajar con un conjunto como este: var myset: set<(int, int)> := {(1, 10), (2, 20), (3, 20)};
¿Cómo puedo obtener el primer par en una variable? ¿Y luego cómo puedo acceder a cada valor dentro de este par?
¿Cómo puedo agregar un par a mi myset?
Para matrices funciona de esta manera: myarray[i].0 y myarray[i].1.
davy.ai
Choose
. Por ejemplo,var mypair := Choose myset;
. Para acceder cada valor dentro del par, puedes usar la sintaxis.0
y.1
. Por ejemplo,mypair.0
ymypair.1
.Add
. Por ejemplo,myset := myset + {(4, 30)};
.