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