ATMS Operation

The ATMS operates whenever:

• a new node is created,

• a new assumption is given,

• a new justification is provided.

• a nogood is notified

ATMS operation guarantees that after each one of these events the labelling of nodes is correctly maintained.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica