| AddGroundClauseStruct | |
| ARGS | |
| argsAction | |
| Array< Type > | |
| ArraysAccessor< Type > | |
| AuxClauseData | |
| AuxFactor | Stores all relevant information about a factor |
| BP | Class for belief propagation algorithm |
| BPFactor | Stores all relevant information about a node attached to a factor |
| BPLink | Stores all relevant information about the link between a factor and a node |
| BPNode | |
| BPParams | This struct holds parameters for the belief propagation algorithm |
| CacheCount | |
| ClausalFeature | |
| ClausalGroundFeature | |
| Clause | |
| ClauseAndICDArray | |
| ClauseCounter | |
| ClauseFactory | |
| ClauseSampler | |
| Complex | |
| ConstantFeature | |
| ConstantGroundFeature | |
| ConstDualMap | |
| ConvergenceTest | |
| Database | |
| DiscriminativeLearner | Discriminative learning algorithms (see "Discriminative Training of Markov Logic Networks", Singla and Domingos, 2005 and "Efficient Weight Learning for Markov Logic Networks", Lowd and Domingos, 2007) |
| Domain | |
| DoubleRange | |
| DualMap | |
| EqualClause | |
| EqualClauseCounter | |
| EqualClauseOp | |
| EqualFunction | |
| EqualGroundClause | |
| EqualGroundPredicate | |
| EqualHashFormulaAndClauses | |
| EqualIndexClause | |
| EqualInt | |
| EqualIntArray | |
| EqualLinkId | |
| EqualLongLong | |
| EqualPredicate | |
| EqualPredicateTerm | |
| EqualStr | |
| EqualString | |
| EqualStrInt | |
| ExistFormula | |
| ExtRandom | |
| Factor | Stores all relevant information about a factor in a factor graph |
| FactorGraph | Class for a factor graph |
| Feature | |
| FormulaAndClauses | |
| FormulaClauseIndexes | |
| Function | |
| FunctionTemplate | |
| GelmanConvergenceTest | |
| GibbsParams | This struct holds parameters needed to run Gibbs sampling |
| GibbsSampler | Gibbs sampling algorithm |
| GroundClause | Represents a grounded clause |
| GroundFeature | |
| GroundPredicate | |
| GroundPreds | |
| GroundRRF | |
| Hash | |
| HashArray< Type, HashFn, EqualFn > | |
| HashClause | |
| HashClauseCounter | |
| HashFormulaAndClauses | |
| HashFunction | |
| HashGroundClause | |
| HashGroundPredicate | |
| HashIndexClause | |
| HashInt | |
| HashIntArray | |
| HashLinkId | |
| HashList< Type, HashFn, EqualFn > | |
| HashLongLong | |
| HashPredicate | |
| HashPredicateTerm | |
| HashString | |
| HashStrInt | |
| HMaxWalkSat | The HMaxWalkSat algorithm |
| HMaxWalkSat::FlipDisVarIdxCont | |
| HMCSAT | HMC-SAT is an MCMC inference algorithm designed to deal efficiently with probabilistic and deterministic dependencies (See Poon and Domingos, 2006) |
| HVariableState | Represents the state of propositional variables and clauses |
| HVariableState::HybridConstraint | Fills the blocks with the predicates in the domain blocks |
| IdxDiv | |
| IndexAndCount | |
| IndexClause | |
| IndexCountDomainIdx | |
| IndexTranslator | |
| Inference | Abstract class from which all inference algorithms are derived |
| Internals | |
| IntPairHash | |
| LBFGSB | |
| LBFGSP | |
| LBFGSR | |
| Link | Stores all relevant information about the link between a factor and a node |
| LinkId | |
| ListObj | |
| LitIdxVarIdsGndings | |
| LogSigMoid | |
| MaxWalkSat | The MaxWalkSat algorithm |
| MaxWalksatParams | This struct holds parameters needed to run MaxWalksat |
| MCMC | Superclass of all MCMC inference algorithms |
| MCMCParams | This struct holds parameters common to all MCMC inference algorithms |
| MCSAT | MC-SAT is an MCMC inference algorithm designed to deal efficiently with probabilistic and deterministic dependencies (See Poon and Domingos, 2006) |
| MCSatParams | This struct holds parameters needed to run MC-SAT |
| MeanVariance | |
| MLN | |
| MLNClauseInfo | |
| MRF | |
| MultDArray< Type > | |
| Node | Stores all relevant information about a node in a factor graph |
| NumTrueFalse | |
| OnlineEngine | Engine for performing inference and learning online |
| ParentIter | |
| ParentIter2 | |
| Permutation< Type > | |
| PolyNomial | |
| PolyNomial::QuadraticPolyPara | |
| PowerSet | |
| PowerSetInstanceVars | |
| Predicate | |
| PredicateConstantsInfo | |
| PredicateFeature | |
| PredicateGroundFeature | |
| PredicateTemplate | |
| PredicateTerm | This class represents a predicate term (stores the predicate id and term no inside the predicate) |
| PredIdClauseIndex | |
| PseudoLogLikelihood | |
| Random | |
| RecursiveFeature | |
| RecursiveGroundFeature | |
| RRF | |
| SampledGndings | |
| SampleSatParams | This struct holds parameters needed to run SampleSat |
| SAT | Superclass of all satisfiability solvers |
| SimulatedTempering | Simulated Tempering algorithm |
| SimulatedTemperingParams | This struct holds parameters needed to run Simulated Tempering |
| StrFifoList | |
| StrInt | |
| StructLearn | |
| SuperClause | |
| SuperPred | |
| Term | |
| Timer | |
| TrueFalseGndings | |
| TrueFalseGroundingsStore | |
| TwoWayMessage | |
| UndoInfo | |
| unionClass | |
| UnitPropagation | |
| Util | |
| Variable | This class stores all the information about a variable appearing a predicate in a class |
| VariableState | Represents the state of propositional variables and clauses |
| VarsGroundedType | |
| VarsTypeId | |
| yy_buffer_state | |
| yy_trans_info | |
| yyGLRStack | |
| yyGLRStackItem | Type of the items in the GLR stack |
| yyGLRState | |
| yyGLRStateSet | |
| YYLTYPE | |
| yySemanticOption | |
| ZZFileState | |
| ZZFormulaInfo | |
| ZZUnknownEqPredInfo | |
| ZZUnknownIntFuncInfo | |
| ZZUnknownIntPredInfo | |
| ZZVarIdType | |
