StopJoinOperator (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.defaults.StopJoinOperator

All Implemented Interfaces:

StopOperator
```
public final class StopJoinOperator
extends java.lang.Object
implements StopOperator
```
This StopOperator returns true if the input state is less or equal than join over the reached set.

Constructor Summary

Constructors
Constructor Description

StopJoinOperator(AbstractDomain abstractDomain)
Create a join operator from the abstract domain defining the join operator.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`stop(AbstractState abstractState, java.util.Collection<? extends AbstractState> reachedAbstractStates, Precision precision)`	The operator may decide based on the (generalized under the given `precision`) convergence.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - StopJoinOperator
```
public StopJoinOperator(AbstractDomain abstractDomain)
```
    Create a join operator from the abstract domain defining the join operator.
    
    Parameters:
    
    abstractDomain - abstract domain
- Method Detail
  - stop
```
public boolean stop(AbstractState abstractState,
                    java.util.Collection<? extends AbstractState> reachedAbstractStates,
                    Precision precision)
```
    Description copied from interface: StopOperator
    
    The operator may decide based on the (generalized under the given precision) convergence. In this case it needs to look up the abstractState in the reachedAbstractStates. Otherwise, it can return true if sufficient information is collected, e.g., a safety property is violated.
    
    Specified by:
    
    stop in interface StopOperator