DEFAULT_PROBABILITY

const val DEFAULT_PROBABILITY: Double = 1.0

The probability assigned to a Taggable object (e.g. a Term or a Solution) that has never had setProbability called on it, i.e. one that is treated as certain (probability 1.0). This is also the fallback used by ProblogSolver-like solvers when SolveOptions.isProbabilistic is false.