public class LayoutParameters
extends java.lang.Object
Constructor and Description |
---|
LayoutParameters() |
Modifier and Type | Method and Description |
---|---|
int |
getCostsThreshold() |
double |
getDefaultHeight() |
double |
getDefaultWidth() |
double |
getEdgePointThreshold() |
java.util.List<FinderAlgorithm> |
getFinderAlgorithms() |
double |
getFraction1() |
double |
getFraction2() |
double |
getFraction3() |
double |
getFraction4() |
double |
getHorizontalSpace() |
java.util.List<org.processmining.models.graphbased.directed.petrinet.Petrinet> |
getNonZeroCostNets() |
int |
getPlaceAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
getPlaceReductionCosts(StateMachineNet net,
Place place,
Place proxy) |
ReductionAlgorithm |
getReductionAlgorithm() |
double |
getStartX() |
double |
getStartY() |
int |
getTransitionAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
getTransitionReductionCosts(StateMachineNet net,
Transition transition,
java.util.List<Transition> transitions) |
double |
getVerticalSpace() |
boolean |
isLeftRight() |
void |
setCostsThreshold(int costsThreshold) |
void |
setDefaultHeight(double defaultHeight) |
void |
setDefaultWidth(double defaultWidth) |
void |
setEdgePointThreshold(double edgePointThreshold) |
void |
setFraction1(double fraction1) |
void |
setFraction2(double fraction2) |
void |
setFraction3(double fraction3) |
void |
setFraction4(double fraction4) |
void |
setHorizontalSpace(double horizontalSpace) |
void |
setLeftRight(boolean leftRight) |
void |
setReductionAlgorithm(ReductionAlgorithm reductionAlgorithm) |
void |
setStartX(double startX) |
void |
setStartY(double startY) |
void |
setVerticalSpace(double verticalSpace) |
public double getHorizontalSpace()
public void setHorizontalSpace(double horizontalSpace)
public double getVerticalSpace()
public void setVerticalSpace(double verticalSpace)
public double getDefaultHeight()
public void setDefaultHeight(double defaultHeight)
public double getDefaultWidth()
public void setDefaultWidth(double defaultWidth)
public ReductionAlgorithm getReductionAlgorithm()
public void setReductionAlgorithm(ReductionAlgorithm reductionAlgorithm)
public java.util.List<FinderAlgorithm> getFinderAlgorithms()
public java.util.List<org.processmining.models.graphbased.directed.petrinet.Petrinet> getNonZeroCostNets()
public double getFraction1()
public void setFraction1(double fraction1)
public double getFraction2()
public void setFraction2(double fraction2)
public double getFraction3()
public void setFraction3(double fraction3)
public double getFraction4()
public void setFraction4(double fraction4)
public double getStartX()
public void setStartX(double startX)
public double getStartY()
public void setStartY(double startY)
public boolean isLeftRight()
public void setLeftRight(boolean leftRight)
public double getEdgePointThreshold()
public void setEdgePointThreshold(double edgePointThreshold)
public int getPlaceAbstractionReductionCosts(StateMachineNet net, Place place, Transition transition)
public int getTransitionAbstractionReductionCosts(StateMachineNet net, Place place, Transition transition)
public int getPlaceReductionCosts(StateMachineNet net, Place place, Place proxy)
public int getTransitionReductionCosts(StateMachineNet net, Transition transition, java.util.List<Transition> transitions)
public int getCostsThreshold()
public void setCostsThreshold(int costsThreshold)