Here is a list of all functions with links to the classes they belong to:

- a -

• absorptive() : semiring::Boolean, semiring::BoolExpr, semiring::IntervalUnion, semiring::Lukasiewicz, semiring::MinMax, semiring::Semiring< V >, semiring::TropicalNonneg, semiring::Viterbi
• acceptsInput() : provsql::ToolRecord
• acquireFeature() : provsql::EvalContext
• add() : Aggregator, AvgAgg< T >, ChooseAgg< T >, MaxAgg< T >, MinAgg< T >, MMappedUUIDHashTable, MMappedVector< T >, SumAgg< T >
• add_edge() : Graph
• add_node() : Graph
• addAnonymousArithGate() : GenericCircuit
• addAnonymousInputGate() : GenericCircuit
• addAnonymousMulinputGate() : GenericCircuit
• addAnonymousMulinputGateWithValue() : GenericCircuit
• addAnonymousValueGate() : GenericCircuit
• addEmptyBag() : TreeDecomposition
• addGate() : BooleanCircuit, Circuit< gateType >, DotCircuit, GenericCircuit
• addGateToBag() : TreeDecomposition
• addWire() : Circuit< gateType >
• agg() : semiring::Formula, semiring::Semiring< V >
• AggValue() : AggValue
• allEntries() : OldMMapHash
• andDecompose() : StructuredDNNFBuilder
• applicable() : provsql::ProbabilityMethod
• applyFoldRuleSweep() : GenericCircuit
• at() : OldMMapVec