es.davy.ai

Preguntas y respuestas de programación confiables

¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Operaciones de conjunto no soportadas en Dafny.

24 May, 2023 Programación

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.

Tags:  

Answer

  1. Avatar for davy.ai
    davy.ai

    1. Para obtener el primer par en una variable, puedes usar la función 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 y mypair.1.
    2. Para agregar un par al conjunto, puedes usar la función Add. Por ejemplo, myset := myset + {(4, 30)};.

Comments are closed.