Package ch.idsia.crema.factor.credal.linear.interval

Interface IntervalFactor

All Superinterfaces:

FilterableFactor<IntervalFactor>, GenericFactor, LinearFactor, SeparateLinearFactor<IntervalFactor>, SeparatelySpecified<IntervalFactor>

All Known Implementing Classes:

IntervalAbstractFactor, IntervalDefaultFactor, IntervalLogFactor, IntervalVacuousFactor

public interface IntervalFactor
extends SeparateLinearFactor<IntervalFactor>

Author: Claudio "Dna" Bonesana Project: crema Date: 17.03.2021 13:20

Method Summary

Modifier and Type	Method	Description
IntervalFactor	copy()
IntervalFactor	filter(int variable, int state)	Filter the factor by selecting only the values where the specified variable is in the specified state.
Strides	getDataDomain()	The domain of the rest of the domain.
Strides	getDomain()
double[]	getLogLower(int... states)
double[]	getLogLowerAt(int group_offset)
double[]	getLogUpper(int... states)
double[]	getLogUpperAt(int group_offset)
double[]	getLower(int... states)
double[]	getLowerAt(int group_offset)
Strides	getSeparatingDomain()	The domain of the separated part.
double[]	getUpper(int... states)
double[]	getUpperAt(int group_offset)
boolean	isInside(BayesianFactor f)
IntervalFactor	merge(IntervalFactor factor)
default IntervalFactor	merge(IntervalFactor... factors)	Merges the bounds with other interval factors
static IntervalFactor	mergeBounds(IntervalFactor... factors)
IntervalFactor	updateReachability()

Methods inherited from interface ch.idsia.crema.factor.FilterableFactor

filter

Methods inherited from interface ch.idsia.crema.factor.GenericFactor

isLog

Methods inherited from interface ch.idsia.crema.factor.credal.linear.separate.SeparateLinearFactor

getLinearProblem, getLinearProblemAt

Method Detail

copy

IntervalFactor copy()

Specified by:

copy in interface GenericFactor

Returns:

a copy of the factor

getDomain

Strides getDomain()

Specified by:

getDomain in interface GenericFactor

Returns:

The domain of the factor. This includes variables, sizes and strides.

getDataDomain

Strides getDataDomain()

Description copied from interface: SeparatelySpecified

The domain of the rest of the domain. Together with SeparatelySpecified.getSeparatingDomain() it will form the complete domain of the object.

Specified by:

getDataDomain in interface SeparatelySpecified<IntervalFactor>

Returns:

getSeparatingDomain

Strides getSeparatingDomain()

Description copied from interface: SeparatelySpecified

The domain of the separated part. This is usually the conditioning of the Factor. This side must not overlap with the data domain returned by SeparatelySpecified.getDataDomain().

Specified by:

getSeparatingDomain in interface SeparatelySpecified<IntervalFactor>

Returns:

filter

IntervalFactor filter(int variable,
                      int state)

Description copied from interface: FilterableFactor

Filter the factor by selecting only the values where the specified variable is in the specified state.

Should return this if the variable is not part of the domain of the factor.

Specified by:

filter in interface FilterableFactor<IntervalFactor>

Parameters:

variable - variable to filter

state - state of the variable to filter

Returns:

a new factor where the given variable in the given state has been filtered out

getUpper

double[] getUpper(int... states)

getLower

double[] getLower(int... states)

getUpperAt

double[] getUpperAt(int group_offset)

getLowerAt

double[] getLowerAt(int group_offset)

getLogUpper

double[] getLogUpper(int... states)

getLogLower

double[] getLogLower(int... states)

getLogUpperAt

double[] getLogUpperAt(int group_offset)

getLogLowerAt

double[] getLogLowerAt(int group_offset)

merge

IntervalFactor merge(IntervalFactor factor)

updateReachability

IntervalFactor updateReachability()

isInside

boolean isInside(BayesianFactor f)

merge

default IntervalFactor merge(IntervalFactor... factors)

Merges the bounds with other interval factors

Parameters:

factors -

Returns:

mergeBounds

static IntervalFactor mergeBounds(IntervalFactor... factors)