Diagrama de decisión lineal Una biblioteca para ayudarlo con diagramas de decisión.
Descargar ahora

Diagrama de decisión lineal Clasificación y resumen

Diagrama de decisión lineal Etiquetas

análisis Analizar aritmética apoyo a las decisiones decisión consejero de decisión decisión comercial programa de decisión Tomador de decisiones diagrama de decisión Exhibidor de la decisión decisión correcta diagramas analizar decisión algoritmo de decisión Algoritmo de decisión de prueba regla de decisión sincronizar diagramas Clasificación de la decisión ayudante de decisión aritmética lineal abstracción predicada Hacer diagramas de Venn diagramas .net decisión

Diagrama de decisión lineal Descripción

LDD es una estructura de datos para representar fórmulas en aritmética lineal (LA) y sus fragmentos. Está diseñado para ser eficiente para las tareas que están en el núcleo de muchos análisis de programas y técnicas de verificación de modelos de software (por ejemplo, abstracción de predicado). Tales tareas incluyen la manipulación booleana y la cuantificación existencial de variables numéricas de Los Fórmulas. Los LDD pueden verse como una extensión de diagramas de decisión de diferencia (DDDS) a LA FOUNTH LA, y se implementan en la parte superior del paquete CUDD de última generación. A continuación encontrará enlaces a documentos relacionados con LDD y lanzamientos de software.

Diagrama de decisión lineal Software relacionado