Precedenza nelle regole di inferenza

Se una regola di inferenza è definita più volte, viene utilizzata la definizione con precedenza più alta.Nell'elenco che segue è indicato l'ordine di precedenza delle definizioni dalla più alta alla più bassa:

1. Una regola di inferenza definita in un makefile. Le definizioni più recenti hanno la precedenza.

2. Una regola di inferenza definita in Tools.ini. Le definizioni più recenti hanno la precedenza.

3. Una regola di inferenza già definita.

Vedere anche

Concetti

Regole di inferenza