{
    "id": "FM_thread",
    "name": "FM_thread",
    "features": {
        "bundle_fcfs": {
            "name": "bundle_fcfs",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "bundle_lcfs": {
            "name": "bundle_lcfs",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "bundle_preemption": {
            "name": "bundle_preemption",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "bundle_schedule": {
            "name": "bundle_schedule",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "bundle_strategy": {
            "name": "bundle_strategy",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "bundle_strategy_replugging": {
            "name": "bundle_strategy_replugging",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "coroutine": {
            "name": "coroutine",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "dispach_method": {
            "name": "dispach_method",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "dispatching": {
            "name": "dispatching",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "float_set": {
            "name": "float_set",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "global_life": {
            "name": "global_life",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "idle_control": {
            "name": "idle_control",
            "optional": true,
            "type": "XOR",
            "note": ""
        },
        "idle_guard": {
            "name": "idle_guard",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "idle_panic": {
            "name": "idle_panic",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "idle_user": {
            "name": "idle_user",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "integrated": {
            "name": "integrated",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "location": {
            "name": "location",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "minimal_set": {
            "name": "minimal_set",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "multiple": {
            "name": "multiple",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "non_preemptable_threads": {
            "name": "non_preemptable_threads",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "priority": {
            "name": "priority",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "priority_16": {
            "name": "priority_16",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "priority_32": {
            "name": "priority_32",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "priority_8": {
            "name": "priority_8",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "priority_behaviour": {
            "name": "priority_behaviour",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "priority_cooperative": {
            "name": "priority_cooperative",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "priority_count": {
            "name": "priority_count",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "priority_preemptive": {
            "name": "priority_preemptive",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "query_schedule": {
            "name": "query_schedule",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "schedule_same_priority": {
            "name": "schedule_same_priority",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "scheduler_lockable": {
            "name": "scheduler_lockable",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "scheduling": {
            "name": "scheduling",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "separated": {
            "name": "separated",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "single": {
            "name": "single",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "size": {
            "name": "size",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "thread": {
            "name": "thread",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "thread_fcfs": {
            "name": "thread_fcfs",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "thread_instance": {
            "name": "thread_instance",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "thread_lcfs": {
            "name": "thread_lcfs",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "thread_preemption": {
            "name": "thread_preemption",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "thread_schedule": {
            "name": "thread_schedule",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "thread_strategy": {
            "name": "thread_strategy",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "thread_strategy_replugging": {
            "name": "thread_strategy_replugging",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "volatile_set": {
            "name": "volatile_set",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        }
    },
    "tree": {
        "id": "thread",
        "children": [
            {
                "id": "thread_instance",
                "children": [
                    {
                        "id": "multiple",
                        "children": [
                            {
                                "id": "coroutine",
                                "children": [
                                    {
                                        "id": "dispatching",
                                        "children": [
                                            {
                                                "id": "dispach_method",
                                                "children": [
                                                    {
                                                        "id": "global_life"
                                                    }
                                                ]
                                            },
                                            {
                                                "id": "scheduling",
                                                "children": [
                                                    {
                                                        "id": "bundle_schedule",
                                                        "children": [
                                                            {
                                                                "id": "bundle_preemption"
                                                            },
                                                            {
                                                                "id": "bundle_strategy",
                                                                "children": [
                                                                    {
                                                                        "id": "bundle_fcfs"
                                                                    },
                                                                    {
                                                                        "id": "bundle_lcfs"
                                                                    },
                                                                    {
                                                                        "id": "bundle_strategy_replugging"
                                                                    }
                                                                ]
                                                            }
                                                        ]
                                                    },
                                                    {
                                                        "id": "idle_control",
                                                        "children": [
                                                            {
                                                                "id": "idle_guard"
                                                            },
                                                            {
                                                                "id": "idle_panic"
                                                            },
                                                            {
                                                                "id": "idle_user"
                                                            }
                                                        ]
                                                    },
                                                    {
                                                        "id": "query_schedule"
                                                    },
                                                    {
                                                        "id": "thread_schedule",
                                                        "children": [
                                                            {
                                                                "id": "thread_preemption",
                                                                "children": [
                                                                    {
                                                                        "id": "non_preemptable_threads"
                                                                    },
                                                                    {
                                                                        "id": "scheduler_lockable"
                                                                    }
                                                                ]
                                                            },
                                                            {
                                                                "id": "thread_strategy",
                                                                "children": [
                                                                    {
                                                                        "id": "priority",
                                                                        "children": [
                                                                            {
                                                                                "id": "priority_behaviour",
                                                                                "children": [
                                                                                    {
                                                                                        "id": "priority_cooperative"
                                                                                    },
                                                                                    {
                                                                                        "id": "priority_preemptive"
                                                                                    }
                                                                                ]
                                                                            },
                                                                            {
                                                                                "id": "priority_count",
                                                                                "children": [
                                                                                    {
                                                                                        "id": "priority_16"
                                                                                    },
                                                                                    {
                                                                                        "id": "priority_32"
                                                                                    },
                                                                                    {
                                                                                        "id": "priority_8"
                                                                                    }
                                                                                ]
                                                                            },
                                                                            {
                                                                                "id": "schedule_same_priority"
                                                                            }
                                                                        ]
                                                                    },
                                                                    {
                                                                        "id": "thread_fcfs"
                                                                    },
                                                                    {
                                                                        "id": "thread_lcfs"
                                                                    },
                                                                    {
                                                                        "id": "thread_strategy_replugging"
                                                                    }
                                                                ]
                                                            }
                                                        ]
                                                    }
                                                ]
                                            }
                                        ]
                                    },
                                    {
                                        "id": "location",
                                        "children": [
                                            {
                                                "id": "integrated"
                                            },
                                            {
                                                "id": "separated"
                                            }
                                        ]
                                    },
                                    {
                                        "id": "size",
                                        "children": [
                                            {
                                                "id": "float_set"
                                            },
                                            {
                                                "id": "minimal_set"
                                            },
                                            {
                                                "id": "volatile_set"
                                            }
                                        ]
                                    }
                                ]
                            }
                        ]
                    },
                    {
                        "id": "single"
                    }
                ]
            }
        ]
    },
    "constraints": {}
}