Class DepthLimiter
- java.lang.Object
-
- org.processmining.specpp.datastructures.tree.nodegen.DepthLimiter
-
- All Implemented Interfaces:
ExpansionStopper
public class DepthLimiter extends java.lang.Object implements ExpansionStopper
-
-
Constructor Summary
Constructors Constructor Description DepthLimiter()DepthLimiter(int maxDepth)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intgetMaxDepth()booleannotAllowedToExpand(PlaceNode placeNode)voidsetMaxDepth(int maxDepth)voidupdateToMinimum(int maxDepth)
-
-
-
Method Detail
-
getMaxDepth
public int getMaxDepth()
-
setMaxDepth
public void setMaxDepth(int maxDepth)
-
updateToMinimum
public void updateToMinimum(int maxDepth)
-
notAllowedToExpand
public boolean notAllowedToExpand(PlaceNode placeNode)
- Specified by:
notAllowedToExpandin interfaceExpansionStopper
-
-