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

- c -

• canonical() : StructuredDNNFBuilder
• capacity() : flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >, MMappedUUIDHashTable::table_t
• cbegin() : flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >
• cend() : flat_map< Key, Value, Storage >, flat_set< T, Storage, hash >
• certified_exclusive_plus() : semiring::BoolExpr, semiring::Semiring< V >
• certified_world_term() : semiring::BoolExpr, semiring::Semiring< V >
• certifying() : semiring::BoolExpr, semiring::Semiring< V >
• chooseAndBuildDD() : provsql::MethodCatalog
• chooseAndRun() : provsql::MethodCatalog
• CircuitCache() : CircuitCache
• CircuitException() : CircuitException
• circuitHasWire() : dDNNFTreeDecompositionBuilder
• close() : MappedRegion
• cmp() : semiring::Formula, semiring::Semiring< V >
• collectGatesToOr() : dDNNFTreeDecompositionBuilder
• compatibleWithBooleanRewrite() : semiring::Boolean, semiring::BoolExpr, semiring::Counting, semiring::Formula, semiring::How, semiring::IntervalUnion, semiring::Lukasiewicz, semiring::MinMax, semiring::Semiring< V >, semiring::Tropical, semiring::Viterbi, semiring::Which, semiring::Why
• compilation() : BooleanCircuit
• compile() : ReachabilityCompiler, UCQJointCompiler
• compileAll() : ReachabilityCompiler
• compileAllHops() : ReachabilityCompiler
• compileAnswersOneDP() : UCQJointCompiler
• compileAnyReach() : ReachabilityCompiler
• compileAnyReachAll() : ReachabilityCompiler
• compileCoverReach() : ReachabilityCompiler
• compileCoverReachAll() : ReachabilityCompiler
• compute_statistic() : PermutationStrategy
• condition() : dDNNF, StructuredDNNFBuilder
• conditionAndSimplify() : dDNNF
• Conn() : Conn
• Connection() : kcmcp::Connection
• contract_edge() : Graph
• createGate() : MMappedCircuit
• createGenericCircuit() : MMappedCircuit