DECIDABLE

Definition of DECIDABLE