O (Definitions)
| Files | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Definitions | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Lemmas | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Abbreviations | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Notations |
O (Definitions)
o_PI [def, in infotheo.information_theory.channel_coding_direct]oimg [def, in infotheo.ecc_classic.decoding]
Omega [def, in infotheo.ecc_classic.grs]
oplus_conv_set [def, in infotheo.probability.necset]
OppositeOrderedConvexSpace.avg [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.choice_Choice__to__choice_hasChoice [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.choice_Choice__to__eqtype_hasDecEq [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.HB_unnamed_factory_83 [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.HB_unnamed_factory_88 [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.HB_unnamed_mixin_86 [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.HB_unnamed_mixin_87 [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.HB_unnamed_mixin_90 [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.leopp [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.OppositeOrderedConvexSpace_oppT__canonical__choice_Choice [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.OppositeOrderedConvexSpace_oppT__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.OppositeOrderedConvexSpace_oppT__canonical__eqtype_Equality [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace.unbox_oppT [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace_oppT__canonical__convex_OrderedConvexSpace [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace_oppT__canonical__Order_POrder [def, in infotheo.probability.convex]
OppositeOrderedConvexSpace_oppT__canonical__Order_Preorder [def, in infotheo.probability.convex]
OProb.Exports.eqtype_Equality__to__eqtype_hasDecEq [def, in infotheo.lib.realType_ext]
OProb.Exports.HB_unnamed_factory_2 [def, in infotheo.lib.realType_ext]
OProb.Exports.HB_unnamed_factory_5 [def, in infotheo.lib.realType_ext]
OProb.Exports.HB_unnamed_mixin_7 [def, in infotheo.lib.realType_ext]
OProb.Exports.OProb_t__canonical__eqtype_Equality [def, in infotheo.lib.realType_ext]
OProb.Exports.OProb_t__canonical__eqtype_SubEquality [def, in infotheo.lib.realType_ext]
OProb.Exports.OProb_t__canonical__eqtype_SubType [def, in infotheo.lib.realType_ext]
OProb.O1 [def, in infotheo.lib.realType_ext]
oprob_of_r_of_pq [def, in infotheo.lib.realType_ext]
oprob_of_s_of_pq [def, in infotheo.lib.realType_ext]
oprobcplt [def, in infotheo.lib.realType_ext]
oprobmulr [def, in infotheo.lib.realType_ext]
ord1 [def, in infotheo.toy_examples.expected_value_variance_ordn]
ord2 [def, in infotheo.toy_examples.expected_value_variance_ordn]
ord_eq_dec [def, in infotheo.probability.bayes]
ord_of_kind [def, in infotheo.ecc_modern.ldpc_algo]
Order_Le_isPOrder__to__Order_isDuallyPreorder [def, in infotheo.probability.convex]
Order_Le_isPOrder__to__Order_isDuallyPreorder__95 [def, in infotheo.probability.convex]
Order_Le_isPOrder__to__Order_Preorder_isDuallyPOrder [def, in infotheo.probability.convex]
Order_Le_isPOrder__to__Order_Preorder_isDuallyPOrder__93 [def, in infotheo.probability.convex]
Order_POrder__to__choice_hasChoice [def, in infotheo.probability.convex]
Order_POrder__to__eqtype_hasDecEq [def, in infotheo.probability.convex]
Order_POrder__to__Order_isDuallyPreorder [def, in infotheo.probability.convex]
Order_POrder__to__Order_Preorder_isDuallyPOrder [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace__to__choice_Choice [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace__to__convex_ConvexSpace [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace__to__eqtype_Equality [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace__to__Order_POrder [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace__to__Order_Preorder [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace_class__to__choice_Choice_class [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace_class__to__convex_ConvexSpace_class [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace_class__to__eqtype_Equality_class [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace_class__to__Order_POrder_class [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.convex_OrderedConvexSpace_class__to__Order_Preorder_class [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.join_convex_OrderedConvexSpace_between_convex_ConvexSpace_and_Order_POrder [def, in infotheo.probability.convex]
OrderedConvexSpace.Exports.join_convex_OrderedConvexSpace_between_convex_ConvexSpace_and_Order_Preorder [def, in infotheo.probability.convex]
OrderedConvexSpace.pack_ [def, in infotheo.probability.convex]
OrderedConvexSpace.phant_clone [def, in infotheo.probability.convex]
OrderedConvexSpace.phant_on_ [def, in infotheo.probability.convex]
OutType.d [def, in infotheo.information_theory.jtypes]
OutType.f [def, in infotheo.information_theory.jtypes]
OutType.P [def, in infotheo.information_theory.jtypes]