- rojbar
- Matomaral
- thiagoc789
El evaluador de talleres es una macro que permite realizar tests de las funciones pedidas para determinado taller.
|1| |2| |3| |4| |5| |6| |7| |8| |9| |10| |11| |12| |13| |14| |15| |16| |17|
|1| |2| |3| |4| |5|
B-SAT.rkt
var x = 2 in x
var x = 2.012 in x
var x = 'A' in x
var x = `Hola mundo` in x
var x = true in x
var y = false in x
var x = x16(15) in x
Cada identificador debe empezar por una letra
var soyUnaVariable = x16(15) in x
var x = list(1,2,3,4) in x
var x = vector(1,2,3,4) in x
Cada clave debe ser accedida como una cadena
var x = dictionary(a -> 2; b ->4) in x
var x = FNC 2 (1 and -1) in x
Para resolver la instanca SAT y obtener su resultado debemos correr
var x = FNC 2 (1 and -1) in $x.solve()
Para ejecutar una primitiva se realiza
var x = [<primitiva> <primer-operando>,...] in x
| Tipos de datos soportados | Simbolo |
|---|---|
| valores numericos | + |
| valores numericos | - |
| valores numericos | * |
| valores numericos | / |
| valores numericos | % |
| valores numericos | add1 |
| valores numericos | sub1 |
| cadenas | concat |
| cadenas | length |
| listas | create-list |
| listas | append |
| listas | empty? |
| listas | list? |
| listas | head |
| listas | tail |
| listas | empty |
| diccionarios | create-dictionary |
| diccionarios | dictionary? |
| diccionarios | set-dictionary |
| diccionarios | ref-dictionary |
| vector | ref-vector |
| vector | set-vector |
| vector | create-vector |
| vector | vector? |
var x = 2 in x
cons x = 2 in x
recursive x(a,b,c) = [+ a,b]; y(a,b,c) = [+ b,c] in x
var x = 2 in set x = 3
begin
[+2,3];
[+2,9]
end
if true then true else false
var x = 3 in
while [> x,0] do
begin
set x = [- x,1];
x
end
for(i = 0; <to/downto> 9) do
begin
set i = [- x,1];
i
end
procedure(a,b ){
[+ a,b]
}
var x = procedure(a,b ){
[+ a,b]
} in invoke x(2,3)
(<primitiva-booleana> expression,expression)
| Tipos de datos soportados | Simbolo |
|---|---|
| valores numericos | < |
| valores numericos | > |
| valores numericos | <= |
| valores numericos | >= |
| any | == |
| any | <> |
(not true)
(&& true,false)
&<identificador>
La clase base es object
class hola extends object
field atributo1
method metodo1 (a,b,c) [+ a,b];
var x = new hola(2,3,4) in x
send x (a,b,c)
super <identificador> (a,b)
//soy un comentario