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

- r -

• ReachabilityCompilerException() : ReachabilityCompilerException
• recompute() : PermutationStrategy
• records() : provsql::ToolRegistry
• recv() : kcmcp::Connection
• registerMethod() : provsql::MethodCatalog
• remap() : MappedRegion
• remove() : provsql::ToolRegistry
• remove_node() : Graph
• removeTableAncestry() : MMappedCircuit
• removeTableInfo() : MMappedCircuit
• render() : DotCircuit
• requiredFeatures() : provsql::ProbabilityMethod
• reroot() : TreeDecomposition
• Res() : Res
• reserve() : flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >
• reset() : provsql::ToolRegistry
• resizeFile() : MappedRegion
• resolveCmpToBernoulli() : GenericCircuit
• resolveCmpToPlusOfKGates() : GenericCircuit
• resolveGateToZero() : GenericCircuit
• resolveToCategoricalMixture() : GenericCircuit
• resolveToMixture() : GenericCircuit
• resolveToPlus() : GenericCircuit
• resolveToRv() : GenericCircuit
• resolveToValue() : GenericCircuit
• resultType() : Aggregator, AvgAgg< T >
• rewriteMultivaluedGates() : BooleanCircuit
• rewriteMultivaluedGatesRec() : BooleanCircuit
• rootGate() : StructuredDNNFBuilder