public class DoNotPrune extends Object implements PruningPolicy
Modifier and Type | Field and Description |
---|---|
static DoNotPrune |
INSTANCE |
Constructor and Description |
---|
DoNotPrune() |
Modifier and Type | Method and Description |
---|---|
boolean |
check(CGNode n)
Returns whether the given node shall be kept.
|
public static DoNotPrune INSTANCE
public boolean check(CGNode n)
PruningPolicy
check
in interface PruningPolicy
n
- node to be checkedtrue
, if this node shall be kept, false
otherwiseCopyright © 2019. All rights reserved.