| Class | Description |
|---|---|
| CMEM |
Esta clase representará el conjunto de Posibles Conflictos cargados en forma de Modelos Evaluables
Minimales.
|
| Condicion |
Clase que representa una condición.
|
| Interpretacion |
Clase que representa una interpretación.
|
| ListaCond |
Clase que representa una lista de condiciones.
|
| ListaInt |
Clase que representa una lista de interpretaciones.
|
| ListaVar |
Clase que representa una lista de variables.
|
| MEM |
Clase que representa un Modelo Evaluable Minimal
|
| Variable |
Clase que representa una variable.
|