digraph G{ node [shape=record, fontsize=9, height=0.1, width=0.05]; edge [style=dashed, arrowsize=0.5, len=0.1] subgraph "cluster_Cashpoint" { "[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]" } subgraph "cluster_Cashpoint" { "[[numberOfBills], [desiredAmount]]|[[enoughCashInCashpoint]]" } subgraph "cluster_Cashpoint" { "[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]" } subgraph "cluster_Data" { "[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]" } subgraph "cluster_Cashpoint" { "[[enteredPIN], [pINInDatabase]]|[[authentication]]" } subgraph "cluster_Data" { "[[enteredPIN], [pINInDatabase]]|[[authentication]]" } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_MenuOption" { label="MenuOption" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_DoesCashpointHaveEnoughCash" { label="DoesCashpointHaveEnoughCash" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_NumberOfFailedAttempts" { label="NumberOfFailedAttempts" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CashpointActivity" { label="CashpointActivity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_menuOption" { label="menuOption" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_DesiredAmount" { label="DesiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_FreeFunds" { label="FreeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_desiredAmount" { label="desiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_freeFunds" { label="freeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnteredPIN" { label="EnteredPIN" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_PINInDatabase" { label="PINInDatabase" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enteredPIN" { label="enteredPIN" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pINInDatabase" { label="pINInDatabase" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_clientHasFreeFunds" { label="clientHasFreeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_authentication" { label="authentication" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_NumberOfBills" { label="NumberOfBills" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughCashInCashpoint" { label="EnoughCashInCashpoint" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_numberOfBills" { label="numberOfBills" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enoughCashInCashpoint" { label="enoughCashInCashpoint" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_numberOfFailedAttempts" { label="numberOfFailedAttempts" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cashpoint" { label="Cashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashpointActivity" { label="cashpointActivity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_MenuOption" { label="MenuOption" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_menuOption" { label="menuOption" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_DesiredAmount" { label="DesiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_FreeFunds" { label="FreeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_desiredAmount" { label="desiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_freeFunds" { label="freeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnteredPIN" { label="EnteredPIN" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_PINInDatabase" { label="PINInDatabase" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enteredPIN" { label="enteredPIN" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pINInDatabase" { label="pINInDatabase" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_clientHasFreeFunds" { label="clientHasFreeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Data" { label="Data" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_authentication" { label="authentication" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_DoesCashpointHaveEnoughCash" { label="DoesCashpointHaveEnoughCash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_NumberOfBills" { label="NumberOfBills" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_DoesCashpointHaveEnoughCash" { label="DoesCashpointHaveEnoughCash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughCashInCashpoint" { label="EnoughCashInCashpoint" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_DoesCashpointHaveEnoughCash" { label="DoesCashpointHaveEnoughCash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_numberOfBills" { label="numberOfBills" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_DoesCashpointHaveEnoughCash" { label="DoesCashpointHaveEnoughCash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enoughCashInCashpoint" { label="enoughCashInCashpoint" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_NumberOfFailedAttempts" { label="NumberOfFailedAttempts" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_numberOfFailedAttempts" { label="numberOfFailedAttempts" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashpointActivity" { label="CashpointActivity" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashpointActivity" { label="cashpointActivity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_DesiredAmount" { label="DesiredAmount" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_desiredAmount" { label="desiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_EnteredPIN" { label="EnteredPIN" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enteredPIN" { label="enteredPIN" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_FreeFunds" { label="FreeFunds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_freeFunds" { label="freeFunds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_PINInDatabase" { label="PINInDatabase" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pINInDatabase" { label="pINInDatabase" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_NumberOfBills" { label="NumberOfBills" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_numberOfBills" { label="numberOfBills" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_EnoughCashInCashpoint" { label="EnoughCashInCashpoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enoughCashInCashpoint" { label="enoughCashInCashpoint" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } "[[numberOfBills], [desiredAmount]]|[[enoughCashInCashpoint]]"->"[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]" "[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]"->"[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]" "[[enteredPIN], [pINInDatabase]]|[[authentication]]"->"[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]" }