{
    "id": "FM_CFDP_Library",
    "name": "FM_CFDP_Library",
    "features": {
        "CFDP_Library": {
            "name": "CFDP_Library",
            "optional": true,
            "type": "OR",
            "note": ""
        },
        "Reboot": {
            "name": "Reboot",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Reboot_Entity": {
            "name": "Reboot_Entity",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Receive_Acknowledged_Mode": {
            "name": "Receive_Acknowledged_Mode",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Send_Acknowledged_Mode": {
            "name": "Send_Acknowledged_Mode",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "pus": {
            "name": "pus",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "pus_copy": {
            "name": "pus_copy",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "pus_rename": {
            "name": "pus_rename",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "reboot_pus": {
            "name": "reboot_pus",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "receive": {
            "name": "receive",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "receive_fs_operations": {
            "name": "receive_fs_operations",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "send": {
            "name": "send",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "send_fs_operations": {
            "name": "send_fs_operations",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        }
    },
    "tree": {
        "id": "CFDP_Library",
        "children": [
            {
                "id": "Reboot",
                "children": [
                    {
                        "id": "Reboot_Entity"
                    },
                    {
                        "id": "reboot_pus"
                    }
                ]
            },
            {
                "id": "pus",
                "children": [
                    {
                        "id": "pus_copy"
                    },
                    {
                        "id": "pus_rename"
                    }
                ]
            },
            {
                "id": "receive",
                "children": [
                    {
                        "id": "Receive_Acknowledged_Mode"
                    },
                    {
                        "id": "receive_fs_operations"
                    }
                ]
            },
            {
                "id": "send",
                "children": [
                    {
                        "id": "Send_Acknowledged_Mode"
                    },
                    {
                        "id": "send_fs_operations"
                    }
                ]
            }
        ]
    },
    "constraints": {
        "Constraint 0": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "pus_copy"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "send"
                    ]
                }
            ]
        },
        "Constraint 1": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "pus_copy"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "receive"
                    ]
                }
            ]
        },
        "Constraint 2": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "pus_rename"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "send_fs_operations"
                    ]
                }
            ]
        },
        "Constraint 3": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "pus_rename"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "receive_fs_operations"
                    ]
                }
            ]
        },
        "Constraint 4": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "reboot_pus"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "pus"
                    ]
                }
            ]
        }
    }
}