Alchemy Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
AddGroundClauseStruct
ARGS
argsAction
Array< Type >
ArraysAccessor< Type >
AuxClauseData
CacheCount
ClausalFeature
ClausalGroundFeature
Clause
ClauseAndICDArray
ClauseFactory
ClauseSampler
ConstantFeature
ConstantGroundFeature
ConstDualMap
ConvergenceTest
Database
Domain
DualMap
EqualClause
EqualClauseOp
EqualFunction
EqualGroundClause
EqualGroundPredicate
EqualHashFormulaAndClauses
EqualIndexClause
EqualInt
EqualIntClause
EqualPredicate
EqualStr
EqualString
EqualStrInt
ExistFormula
Feature
FormulaAndClauses
FormulaClauseIndexes
FreeStoreManager
Function
FunctionTemplate
GelmanConvergenceTest
GibbsParamsThis struct holds parameters needed to run Gibbs sampling
GibbsSamplerGibbs sampling algorithm
GroundClauseRepresents a grounded clause
GroundFeature
GroundPredicate
GroundPreds
GroundRRF
Hash
HashArray< Type, HashFn, EqualFn >
HashClause
HashFormulaAndClauses
HashFunction
HashGroundClause
HashGroundPredicate
HashIndexClause
HashInt
HashIntClause
HashList< Type, HashFn, EqualFn >
HashPredicate
HashString
HashStrInt
IdxDiv
IndexAndCount
IndexClause
IndexCountDomainIdx
IndexTranslator
InferenceAbstract class from which all inference algorithms are derived
IntClause
Internals
LazyInfo
LazyUtil
LazyWalksat
LBFGSB
LBFGSR
ListObj
LitIdxVarIdsGndings
LWInfo
LWUtil
MaxWalkSatThe MaxWalkSat algorithm
MaxWalksatParamsThis struct holds parameters needed to run MaxWalksat
MCMCSuperclass of all MCMC inference algorithms
MCMCParamsThis struct holds parameters common to all MCMC inference algorithms
MCSATMC-SAT is an MCMC inference algorithm designed to deal efficiently with probabilistic and deterministic dependencies (See Poon and Domingos, 2006)
MCSatParamsThis struct holds parameters needed to run MC-SAT
MeanVariance
MLN
MLNClauseInfo
MRF
MultDArray< Type >
NumTrueFalse
OnlineEngineEngine for performing inference and learning online
ParentIter
ParentIter2
Permutation< Type >
PowerSet
PowerSetInstanceVars
Predicate
PredicateFeature
PredicateGroundFeature
PredicateTemplate
PredIdClauseIndex
PseudoLogLikelihood
Random
RecursiveFeature
RecursiveGroundFeature
RRF
SampledGndings
SampleSat
SampleSatParamsThis struct holds parameters needed to run SampleSat
SATSuperclass of all satisfiability solvers
SimulatedTemperingSimulated Tempering algorithm
SimulatedTemperingParamsThis struct holds parameters needed to run Simulated Tempering
StrFifoList
StrInt
StructLearn
Term
Timer
TrueFalseGndings
TrueFalseGroundingsStore
UndoInfo
unionClass
UnitPropagation
Util
VariableStateRepresents the state of propositional variables and clauses
VarsGroundedType
VarsTypeId
VotedPerceptronVotedPerceptron algorithm (see "Discriminative Training of Markov Logic Networks", Singla and Domingos, 2005)
WSUtil
yy_buffer_state
yyGLRStack
yyGLRStackItemType of the items in the GLR stack
yyGLRState
yyGLRStateSet
YYLTYPE
yySemanticOption
ZZFileState
ZZFormulaInfo
ZZUnknownEqPredInfo
ZZUnknownIntFuncInfo
ZZUnknownIntPredInfo
ZZVarIdType

Generated on Wed Feb 14 15:15:20 2007 for Alchemy by  doxygen 1.5.1