Alchemy

o+Class List

|o*AddGroundClauseStruct

|o*ARGS

|o*argsAction

|o*Array< Type >

|o*ArraysAccessor< Type >

|o*AuxClauseData

|o*AuxFactor

|o*BP

|o*BPFactor

|o*BPLink

|o*BPNode

|o*BPParams

|o*CacheCount

|o*ClausalFeature

|o*ClausalGroundFeature

|o*Clause

|o*ClauseAndICDArray

|o*ClauseCounter

|o*ClauseFactory

|o*ClauseSampler

|o*Complex

|o*ConstantFeature

|o*ConstantGroundFeature

|o*ConstDualMap

|o*ConvergenceTest

|o*Database

|o*DiscriminativeLearner

|o*Domain

|o*DoubleRange

|o*DualMap

|o*EqualClause

|o*EqualClauseCounter

|o*EqualClauseOp

|o*EqualFunction

|o*EqualGroundClause

|o*EqualGroundPredicate

|o*EqualHashFormulaAndClauses

|o*EqualIndexClause

|o*EqualInt

|o*EqualIntArray

|o*EqualLinkId

|o*EqualLongLong

|o*EqualPredicate

|o*EqualPredicateTerm

|o*EqualStr

|o*EqualString

|o*EqualStrInt

|o*ExistFormula

|o*ExtRandom

|o*Factor

|o*FactorGraph

|o*Feature

|o*FormulaAndClauses

|o*FormulaClauseIndexes

|o*Function

|o*FunctionTemplate

|o*GelmanConvergenceTest

|o*GibbsParams

|o*GibbsSampler

|o*GroundClause

|o*GroundFeature

|o*GroundPredicate

|o*GroundPreds

|o*GroundRRF

|o*Hash

|o*HashArray< Type, HashFn, EqualFn >

|o*HashClause

|o*HashClauseCounter

|o*HashFormulaAndClauses

|o*HashFunction

|o*HashGroundClause

|o*HashGroundPredicate

|o*HashIndexClause

|o*HashInt

|o*HashIntArray

|o*HashLinkId

|o*HashList< Type, HashFn, EqualFn >

|o*HashLongLong

|o*HashPredicate

|o*HashPredicateTerm

|o*HashString

|o*HashStrInt

|o*HMaxWalkSat

|o*HMaxWalkSat::FlipDisVarIdxCont

|o*HMCSAT

|o*HVariableState

|o*HVariableState::HybridConstraint

|o*IdxDiv

|o*IndexAndCount

|o*IndexClause

|o*IndexCountDomainIdx

|o*IndexTranslator

|o*Inference

|o*Internals

|o*IntPairHash

|o*LBFGSB

|o*LBFGSP

|o*LBFGSR

|o*Link

|o*LinkId

|o*ListObj

|o*LitIdxVarIdsGndings

|o*LogSigMoid

|o*MaxWalkSat

|o*MaxWalksatParams

|o*MCMC

|o*MCMCParams

|o*MCSAT

|o*MCSatParams

|o*MeanVariance

|o*MLN

|o*MLNClauseInfo

|o*MRF

|o*MultDArray< Type >

|o*Node

|o*NumTrueFalse

|o*OnlineEngine

|o*ParentIter

|o*ParentIter2

|o*Permutation< Type >

|o*PolyNomial

|o*PolyNomial::QuadraticPolyPara

|o*PowerSet

|o*PowerSetInstanceVars

|o*Predicate

|o*PredicateConstantsInfo

|o*PredicateFeature

|o*PredicateGroundFeature

|o*PredicateTemplate

|o*PredicateTerm

|o*PredIdClauseIndex

|o*PseudoLogLikelihood

|o*Random

|o*RecursiveFeature

|o*RecursiveGroundFeature

|o*RRF

|o*SampledGndings

|o*SampleSatParams

|o*SAT

|o*SimulatedTempering

|o*SimulatedTemperingParams

|o*StrFifoList

|o*StrInt

|o*StructLearn

|o*SuperClause

|o*SuperPred

|o*Term

|o*Timer

|o*TrueFalseGndings

|o*TrueFalseGroundingsStore

|o*TwoWayMessage

|o*UndoInfo

|o*unionClass

|o*UnitPropagation

|o*Util

|o*Variable

|o*VariableState

|o*VarsGroundedType

|o*VarsTypeId

|o*yy_buffer_state

|o*yy_trans_info

|o*yyGLRStack

|o*yyGLRStackItem

|o*yyGLRState

|o*yyGLRStateSet

|o*YYLTYPE

|o*yySemanticOption

|o*ZZFileState

|o*ZZFormulaInfo

|o*ZZUnknownEqPredInfo

|o*ZZUnknownIntFuncInfo

|o*ZZUnknownIntPredInfo

|\*ZZVarIdType

o+Class Hierarchy

|o*AddGroundClauseStruct

|o*ARGS

|o*argsAction

|o*Array< Type >

|o*ArraysAccessor< Type >

|o*AuxClauseData

|o*BPFactor

|o*BPLink

|o*BPNode

|o*BPParams

|o*CacheCount

|o*Clause

|o*ClauseAndICDArray

|o*ClauseCounter

|o*ClauseFactory

|o*ClauseSampler

|o*Complex

|o*ConstDualMap

|o*ConvergenceTest

|o*Database

|o*DiscriminativeLearner

|o*Domain

|o*DoubleRange

|o*DualMap

|o*EqualClause

|o*EqualClauseCounter

|o*EqualClauseOp

|o*EqualFunction

|o*EqualGroundClause

|o*EqualGroundPredicate

|o*EqualHashFormulaAndClauses

|o*EqualIndexClause

|o*EqualInt

|o*EqualIntArray

|o*EqualLinkId

|o*EqualLongLong

|o*EqualPredicate

|o*EqualPredicateTerm

|o*EqualStr

|o*EqualString

|o*EqualStrInt

|o*ExistFormula

|o*ExtRandom

|o+Factor

|o*FactorGraph

|o+Feature

|o*FormulaAndClauses

|o*FormulaClauseIndexes

|o*Function

|o*GelmanConvergenceTest

|o*GroundClause

|o+GroundFeature

|o*GroundPredicate

|o*GroundPreds

|o*GroundRRF

|o*Hash

|o*HashArray< Type, HashFn, EqualFn >

|o*HashClause

|o*HashClauseCounter

|o*HashFormulaAndClauses

|o*HashFunction

|o*HashGroundClause

|o*HashGroundPredicate

|o*HashIndexClause

|o*HashInt

|o*HashIntArray

|o*HashLinkId

|o*HashList< Type, HashFn, EqualFn >

|o*HashLongLong

|o*HashPredicate

|o*HashPredicateTerm

|o*HashString

|o*HashStrInt

|o*HMaxWalkSat::FlipDisVarIdxCont

|o*HVariableState

|o*HVariableState::HybridConstraint

|o*IdxDiv

|o*IndexAndCount

|o*IndexClause

|o*IndexCountDomainIdx

|o*IndexTranslator

|o+Inference

|o*Internals

|o*IntPairHash

|o*LBFGSB

|o*LBFGSP

|o*LBFGSR

|o*Link

|o*LinkId

|o*ListObj

|o*LitIdxVarIdsGndings

|o*LogSigMoid

|o*MaxWalksatParams

|o+MCMCParams

|o*MeanVariance

|o*MLN

|o*MLNClauseInfo

|o*MRF

|o*MultDArray< Type >

|o*Node

|o*NumTrueFalse

|o*OnlineEngine

|o*ParentIter

|o*ParentIter2

|o*Permutation< Type >

|o*PolyNomial

|o*PolyNomial::QuadraticPolyPara

|o*PowerSet

|o*PowerSetInstanceVars

|o*Predicate

|o*PredicateConstantsInfo

|o+PredicateTemplate

|o*PredicateTerm

|o*PredIdClauseIndex

|o*PseudoLogLikelihood

|o*Random

|o*RRF

|o*SampledGndings

|o*SampleSatParams

|o*StrFifoList

|o*StrInt

|o*StructLearn

|o*SuperClause

|o*SuperPred

|o*Term

|o*Timer

|o*TrueFalseGndings

|o*TrueFalseGroundingsStore

|o*TwoWayMessage

|o*UndoInfo

|o*unionClass

|o*Util

|o*Variable

|o*VariableState

|o*VarsGroundedType

|o*VarsTypeId

|o*yy_buffer_state

|o*yy_trans_info

|o*yyGLRStack

|o*yyGLRStackItem

|o*yyGLRState

|o*yyGLRStateSet

|o*YYLTYPE

|o*yySemanticOption

|o*ZZFileState

|o*ZZFormulaInfo

|o*ZZUnknownEqPredInfo

|o*ZZUnknownIntFuncInfo

|o*ZZUnknownIntPredInfo

|\*ZZVarIdType

o*Class Members

o+File List

|o*src/infer/auxfactor.h

|o*src/infer/bp.h

|o*src/infer/bpfactor.cpp

|o*src/infer/bpfactor.h

|o*src/infer/bplink.h

|o*src/infer/bpnode.cpp

|o*src/infer/bpnode.h

|o*src/infer/bpparams.h

|o*src/infer/convergencetest.h

|o*src/infer/factor.cpp

|o*src/infer/factor.h

|o*src/infer/factorgraph.h

|o*src/infer/gelmanconvergencetest.h

|o*src/infer/gibbsparams.h

|o*src/infer/gibbssampler.h

|o*src/infer/groundclause.cpp

|o*src/infer/groundclause.h

|o*src/infer/groundpredicate.h

|o*src/infer/hmaxwalksat.h

|o*src/infer/hmcsat.h

|o*src/infer/infer.cpp

|o*src/infer/infer.h

|o*src/infer/inference.h

|o*src/infer/inferenceargs.h

|o*src/infer/link.h

|o*src/infer/maxwalksat.h

|o*src/infer/maxwalksatparams.h

|o*src/infer/mcmc.h

|o*src/infer/mcmcparams.h

|o*src/infer/mcsat.h

|o*src/infer/mcsatparams.h

|o*src/infer/mrf.h

|o*src/infer/node.cpp

|o*src/infer/node.h

|o*src/infer/samplesatparams.h

|o*src/infer/sat.h

|o*src/infer/simulatedannealing.h

|o*src/infer/simulatedtempering.h

|o*src/infer/simulatedtemperingparams.h

|o*src/infer/superclause.cpp

|o*src/infer/superclause.h

|o*src/infer/superpred.cpp

|o*src/infer/superpred.h

|o*src/infer/twowaymessage.h

|o*src/infer/unitpropagation.h

|o*src/infer/variable.h

|o*src/infer/Maxwalksat20/maxwalksat.c

|o*src/learnstruct/learnstruct.cpp

|o*src/learnstruct/structlearn.h

|o*src/learnwts/discriminativelearner.h

|o*src/learnwts/indextranslator.h

|o*src/learnwts/lbfgsb.h

|o*src/learnwts/lbfgsp.h

|o*src/learnwts/learnwts.cpp

|o*src/learnwts/learnwts.h

|o*src/learnwts/pseudologlikelihood.h

|o*src/logic/clause.cpp

|o*src/logic/clause.h

|o*src/logic/clausefactory.h

|o*src/logic/clausehelper.h

|o*src/logic/clausesampler.cpp

|o*src/logic/clausesampler.h

|o*src/logic/database.h

|o*src/logic/domain.cpp

|o*src/logic/domain.h

|o*src/logic/function.cpp

|o*src/logic/function.h

|o*src/logic/functiontemplate.cpp

|o*src/logic/functiontemplate.h

|o*src/logic/groundpreds.h

|o*src/logic/hvariablestate.h

|o*src/logic/logichelper.cpp

|o*src/logic/logichelper.h

|o*src/logic/logsigmoid.h

|o*src/logic/mln.h

|o*src/logic/mlnhelper.h

|o*src/logic/Polynomial.cpp

|o*src/logic/Polynomial.h

|o*src/logic/predicate.cpp

|o*src/logic/predicate.h

|o*src/logic/predicatetemplate.cpp

|o*src/logic/predicatetemplate.h

|o*src/logic/term.cpp

|o*src/logic/term.h

|o*src/logic/truefalsegroundingsstore.h

|o*src/logic/variablestate.h

|o*src/online/onlineengine.h

|o*src/online/onlinetest.cpp

|o*src/parser/fol.cpp

|o*src/parser/fol.h

|o*src/parser/folhelper.h

|o*src/parser/follex.cpp

|o*src/parser/internals.h

|o*src/parser/listobj.cpp

|o*src/parser/listobj.h

|o*src/parser/strfifolist.h

|o*src/rrf/feature.h

|o*src/rrf/gfeature.cpp

|o*src/rrf/gfeature.h

|o*src/rrf/lbfgsr.h

|o*src/rrf/parentiter.h

|o*src/rrf/parentiter2.h

|o*src/rrf/rrf.cpp

|o*src/rrf/rrf.h

|o*src/rrf/testrrf.cpp

|o*src/util/arguments.cpp

|o*src/util/arguments.h

|o*src/util/array.h

|o*src/util/arraysaccessor.h

|o*src/util/complex.h

|o*src/util/constdualmap.h

|o*src/util/dualmap.h

|o*src/util/equalstr.h

|o*src/util/hash.h

|o*src/util/hasharray.h

|o*src/util/hashint.h

|o*src/util/hashlist.h

|o*src/util/hashstring.h

|o*src/util/meanvariance.h

|o*src/util/multdarray.h

|o*src/util/permutation.h

|o*src/util/powerset.cpp

|o*src/util/powerset.h

|o*src/util/random.cpp

|o*src/util/random.h

|o*src/util/strint.h

|o*src/util/timer.h

|\*src/util/util.h

\+Directories