Μια λογική έκφραση που δηλώνει την εισόδου τους όρους που πρέπει να τηρηθούν για ένα συγκεκριμένο πρόγραμμα διαδρομή που πρέπει να εκτελεστούν.