Skip to content

Instantly share code, notes, and snippets.

@trikitrok

trikitrok/identifying_partitions_argent_rose_lite.txt

Last active September 13, 2024 12:51
Show Gist options
  • Save trikitrok/a778595fdd42493e5910fae60cefe35d to your computer and use it in GitHub Desktop.
Save trikitrok/a778595fdd42493e5910fae60cefe35d to your computer and use it in GitHub Desktop.
Download ZIP
Argent Rose Lite identifying partitions
Raw
identifying_partitions_argent_rose_lite.txt
Partitions:
1. description:
(los especiales)
== "Aged Brie"
== "French Wine"
== "Theatre Passes"
el default (Regular)
2. sell-in:
* Todos los productos menos "Theatre Passes"
sell-in € (-inf,0)
sell-in € [0,inf)
* "Theatre Passes"
sell-in € (10, inf)
sell-in € (5, 10]
sell-in € [0, 5]
sell-in € [0,inf)
3. Q:
Q € (-inf, 0)
Q €[0,50]
Q € (50, inf)
Invariante:
Q sólo valida si Q € [0,50]
Q invalida (-inf, 0) U (50, inf) <- no puede existir como input porque especifican que todos los productos son válidos
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment