Package it.unive.lisa.conf

Class FixpointConfiguration

java.lang.Object

it.unive.lisa.conf.BaseConfiguration

it.unive.lisa.conf.FixpointConfiguration

public class FixpointConfiguration
extends BaseConfiguration

An immutable configuration holding fixpoint-specific parameters.

Field Summary

Fields

Modifier and Type	Field	Description
LiSAConfiguration.DescendingPhaseType	descendingPhaseType	Holder of LiSAConfiguration.descendingPhaseType.
int	glbThreshold	Holder of LiSAConfiguration.glbThreshold.
java.util.function.Predicate<Statement>	hotspots	Holder of LiSAConfiguration.hotspots.
boolean	optimize	Holder of LiSAConfiguration.optimize.
int	recursionWideningThreshold	Holder of LiSAConfiguration.recursionWideningThreshold.
boolean	useWideningPoints	Holder of LiSAConfiguration.useWideningPoints.
int	wideningThreshold	Holder of LiSAConfiguration.wideningThreshold.

Constructor Summary

Constructors

Constructor	Description
FixpointConfiguration(LiSAConfiguration parent)	Builds the configuration.

Method Summary

Methods inherited from class it.unive.lisa.conf.BaseConfiguration

equals, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

wideningThreshold

public final int wideningThreshold

Holder of LiSAConfiguration.wideningThreshold.

recursionWideningThreshold

public final int recursionWideningThreshold

Holder of LiSAConfiguration.recursionWideningThreshold.

glbThreshold

public final int glbThreshold

Holder of LiSAConfiguration.glbThreshold.

descendingPhaseType

public final LiSAConfiguration.DescendingPhaseType descendingPhaseType

Holder of LiSAConfiguration.descendingPhaseType.

optimize

public final boolean optimize

Holder of LiSAConfiguration.optimize.

useWideningPoints

public final boolean useWideningPoints

Holder of LiSAConfiguration.useWideningPoints.

hotspots

public final java.util.function.Predicate<Statement> hotspots

Holder of LiSAConfiguration.hotspots.

Constructor Detail

FixpointConfiguration

public FixpointConfiguration(LiSAConfiguration parent)

Builds the configuration.

Parameters:

parent - the root configuration to draw data from.