Member predicate Configuration :: isBarrierGuard

DEPRECATED: Use isBarrier and BarrierGuard module instead.

Holds if data flow through nodes guarded by guard is prohibited when the flow state is state


                            
                                
                                    predicate
                                
                                 
                            
                            
                                
                                    isBarrierGuard
                                
                            
                            
                                (
                                
                                    
                                        
                                            BarrierGuard
                                        
                                    
                                     
                                    guard
                                
                                , 
                                
                                    
                                        FlowState
                                    
                                     
                                    state
                                
                                )