Uses of Class
net.sf.tweety.logics.cl.kappa.KappaMin

Packages that use KappaMin

Package	Description
net.sf.tweety.logics.cl.kappa

Uses of KappaMin in net.sf.tweety.logics.cl.kappa

Fields in net.sf.tweety.logics.cl.kappa declared as KappaMin

Modifier and Type	Field and Description
(package private) KappaMin	KappaValue.negativeMinimum This minimum contains those kappa sums of conditionals that are falsified in a world, that is also falsified by the Conditional of this kappa value.
(package private) KappaMin	KappaValue.positiveMinimum This minimum contains those kappa sums of conditionals that are falsified in a world, that is verified by the Conditional of this kappa value.

Methods in net.sf.tweety.logics.cl.kappa with parameters of type KappaMin

Modifier and Type

Method and Description

private void

ConditionalStructureKappaBuilder.buildMinima(ConditionalStructure structure, java.util.Map<Conditional,KappaValue> kappaMap, Conditional curCondition, java.util.List<NicePossibleWorld> worlds, KappaMin workingMin) Helper method: Builds the minimums for the kappa values, a collection of worlds is given which might be either the verifiying or the falsifiying worlds and for this collection of worlds the corresponding KappaMin is given, such that positiveMinimum is calculated using verifying worlds and negativeMinumum is using falsifying worlds.