digraph G{  node [shape=record, fontsize=9, height=0.1, width=0.05]; edge [style=dashed, arrowsize=0.5, len=0.1]; rankdir=LR 
subgraph "cluster_Cashpoint" {
"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]}"
}
subgraph "cluster_Cashpoint" {
"{[[numberOfBills], [desiredAmount]]|[[enoughCashInCashpoint]]}"
}
subgraph "cluster_Cashpoint" {
"{[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]}"
}
subgraph "cluster_ClientHasFreeFunds" {
"{[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]}"
}
subgraph "cluster_Cashpoint" {
"{[[enteredPIN], [pINInDatabase]]|[[authentication]]}"
}
subgraph "cluster_Authentication" {
"{[[enteredPIN], [pINInDatabase]]|[[authentication]]}"
}
subgraph "cluster_Cashpoint" {
"{[[enteredPIN], [pINInDatabase]]|[[numberOfFailedAttempts]]}"
}
subgraph "cluster_Authentication" {
"{[[enteredPIN], [pINInDatabase]]|[[numberOfFailedAttempts]]}"
}
subgraph "cluster_Cashpoint" {
"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[numberOfBills]]}"
}
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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_Authentication" {
label="Authentication"
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_Authentication" {
label="Authentication"
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_Authentication" {
label="Authentication"
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_Authentication" {
label="Authentication"
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_Authentication" {
label="Authentication"
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_Authentication" {
label="Authentication"
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_Authentication" {
label="Authentication"
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_ClientHasFreeFunds" {
label="ClientHasFreeFunds"
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_ClientHasFreeFunds" {
label="ClientHasFreeFunds"
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_ClientHasFreeFunds" {
label="ClientHasFreeFunds"
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_ClientHasFreeFunds" {
label="ClientHasFreeFunds"
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_ClientHasFreeFunds" {
label="ClientHasFreeFunds"
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_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_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_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_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_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_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_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_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]]}"
"{[[numberOfBills], [desiredAmount]]|[[enoughCashInCashpoint]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[numberOfBills]]}"
"{[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]}"
"{[[desiredAmount], [freeFunds]]|[[clientHasFreeFunds]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[numberOfBills]]}"
"{[[enteredPIN], [pINInDatabase]]|[[authentication]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]}"
"{[[enteredPIN], [pINInDatabase]]|[[authentication]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[numberOfBills]]}"
"{[[enteredPIN], [pINInDatabase]]|[[numberOfFailedAttempts]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[cashpointActivity]]}"
"{[[enteredPIN], [pINInDatabase]]|[[numberOfFailedAttempts]]}"->"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[numberOfBills]]}"
"{[[authentication], [clientHasFreeFunds], [enoughCashInCashpoint], [menuOption], [numberOfFailedAttempts]]|[[numberOfBills]]}"->"{[[numberOfBills], [desiredAmount]]|[[enoughCashInCashpoint]]}"
}