public class HsInconsistencyMeasurementProcess extends InconsistencyMeasurementProcess<PropositionalFormula>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CONFIG_KEY_NUMBEROFPOPULATIONS
Configuration key for the number of populations tried out.
|
static java.lang.String |
CONFIG_KEY_SIGNATURE
Configuration key for the signature.
|
static java.lang.String |
CONFIG_SMOOTHINGFACTOR
Key for the configuration map that points to the smoothing factor to be used.
|
private double |
currentValue
Current inconsistency value.
|
private java.util.Collection<java.util.List<PossibleWorld>> |
hittingSets
The current candidate populations for a hitting set.
|
private int |
numberOfPopulations
The number of populations.
|
private int |
numFormulas
The number of formulas encountered.
|
private java.util.Random |
rand
For randomization.
|
private PropositionalSignature |
sig
The signature of the formulas.
|
private double |
smoothingFactor
Whether the inconsistency value should be smoothed: if X1 is the previous
inconsistency value, X2 is the new inconsistency value on the new window, then
the actual new inconsistency value X is determined by X=X1*smoothingFactor + X2*(1-smoothingFactor).
|
private ConsistencyWitnessProvider<PropositionalFormula> |
witnessProvider
The witness provider used.
|
CONFIG_TIMEOUT
Constructor and Description |
---|
HsInconsistencyMeasurementProcess() |
Modifier and Type | Method and Description |
---|---|
protected void |
init(java.util.Map<java.lang.String,java.lang.Object> config)
Additional initialization statements are put here.
|
java.lang.String |
toString() |
protected double |
update(PropositionalFormula formula)
Updates the inconsistency value with the new formula.
|
abort, getInconsistencyValue, init, run
activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, yield
public static final java.lang.String CONFIG_KEY_SIGNATURE
public static final java.lang.String CONFIG_KEY_NUMBEROFPOPULATIONS
public static final java.lang.String CONFIG_SMOOTHINGFACTOR
private java.util.Collection<java.util.List<PossibleWorld>> hittingSets
private PropositionalSignature sig
private ConsistencyWitnessProvider<PropositionalFormula> witnessProvider
private java.util.Random rand
private double smoothingFactor
private double currentValue
private int numFormulas
private int numberOfPopulations
protected void init(java.util.Map<java.lang.String,java.lang.Object> config)
InconsistencyMeasurementProcess
init
in class InconsistencyMeasurementProcess<PropositionalFormula>
protected double update(PropositionalFormula formula)
InconsistencyMeasurementProcess
update
in class InconsistencyMeasurementProcess<PropositionalFormula>
formula
- some formula.public java.lang.String toString()
toString
in class InconsistencyMeasurementProcess<PropositionalFormula>