├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── blog ├── blog-full.bat ├── bloglint ├── bloglint.bat ├── dblog ├── docs ├── .gitignore ├── Makefile ├── README.md ├── content │ └── pages │ │ ├── contributor.md │ │ ├── develop-guide.md │ │ ├── documentation.md │ │ ├── download.md │ │ ├── get-start.md │ │ ├── iblog.md │ │ ├── index.md │ │ ├── publication.md │ │ ├── release-note.md │ │ └── user-manual.md ├── develop_server.sh ├── pelicanconf.py ├── publishconf.py ├── theme │ ├── static │ │ ├── css │ │ │ ├── main.css │ │ │ ├── pygment.css │ │ │ ├── reset.css │ │ │ ├── typogrify.css │ │ │ └── wide.css │ │ └── images │ │ │ ├── gh-fork-right-graphite@2x.png │ │ │ └── icons │ │ │ ├── aboutme.png │ │ │ ├── bitbucket.png │ │ │ ├── delicious.png │ │ │ ├── facebook.png │ │ │ ├── github.png │ │ │ ├── gitorious.png │ │ │ ├── gittip.png │ │ │ ├── google-groups.png │ │ │ ├── google-plus.png │ │ │ ├── hackernews.png │ │ │ ├── lastfm.png │ │ │ ├── linkedin.png │ │ │ ├── reddit.png │ │ │ ├── rss.png │ │ │ ├── slideshare.png │ │ │ ├── speakerdeck.png │ │ │ ├── stackoverflow.png │ │ │ ├── twitter.png │ │ │ ├── vimeo.png │ │ │ └── youtube.png │ └── templates │ │ ├── analytics.html │ │ ├── base.html │ │ └── page.html └── update_ghpages.sh ├── example ├── abs.blog ├── aircraft-position.blog ├── aircraft-static.blog ├── ar1.dblog ├── ar2.dblog ├── background │ ├── adaptive-background-mixture.dblog │ ├── background-mixture-evolve.dblog │ ├── background-mixture-uniform-prior-per-pixel.blog │ ├── background-mixture-uniform-prior.blog │ ├── background-mixture-with-variable.blog │ └── background-mixture.blog ├── balls │ ├── all-same.eblog │ ├── half-half.eblog │ ├── id-uncert-det.blog │ ├── id-uncert-noisy.blog │ ├── num-balls.qblog │ ├── poisson-prior-det.mblog │ ├── poisson-prior-noisy.mblog │ ├── uniform-prior-det.mblog │ └── uniform-prior-noisy.mblog ├── bayesian-linear-regression.blog ├── birthday.blog ├── burglary-multihouse.blog ├── burglary.blog ├── citation │ └── publications.blog ├── csi.blog ├── exp.blog ├── factorial.blog ├── file-io.blog ├── galaxy.blog ├── gaussian-params │ ├── univar.blog.template │ └── univar_gen.py ├── general-fixed-fun.blog ├── grades.blog ├── healthiness.blog ├── helicopter-static.blog ├── hmm.dblog ├── hurricane-new.blog ├── hurricane.blog ├── kalman-filter.dblog ├── lda.blog ├── linear-algebra.blog ├── matrix-from-matlab.txt ├── matrix-from-numpy.txt ├── mixture-of-gaussian-2d-infinite.blog ├── mixture-of-gaussian-full.blog ├── mixture-of-gaussian-infinite.blog ├── mixture-of-gaussian.blog ├── multinomial.blog ├── multivar-gaussian-random-params │ ├── fixed-mu-fixed-sigma.blog │ ├── fixed-mu-random-sigma.blog │ ├── random-mu-fixed-sigma.blog │ └── random-mu-random-sigma.blog ├── nested-case-expr.blog ├── pcfg │ ├── simple-pcfg.blog │ └── tiny-pcfg.blog ├── pf-test.blog ├── poisson-ball.blog ├── resample-move.blog ├── simple-aircraft.blog ├── stochastic-volatility.dblog ├── sybil-attack-exp1.blog ├── sybil-attack-exp2.blog ├── sybil-attack-exp3.blog ├── transpose.blog ├── trig.blog ├── tugwar.blog ├── tugwar1.blog ├── tugwar2.blog ├── uniform-ball.blog └── weather.dblog ├── example_wip ├── aircraft-wandering.dblog ├── and-or │ ├── and-node.blog │ ├── or-node.blog │ ├── ordering.blog │ ├── projection.blog │ ├── projection2.blog │ ├── projection3.blog │ ├── projection_tmp.blog │ ├── scene-and-or-2.blog │ ├── scene-and-or.blog │ ├── scene.blog │ ├── scene2.blog │ ├── scene_face.blog │ ├── scene_face_bkp.blog │ ├── scene_face_integer.blog │ ├── scene_face_integer_testcase.blog │ └── scene_face_real.blog ├── citation │ └── bib.blog ├── games │ ├── blackjack-for-one.blog │ ├── blackjack.blog │ └── monopoly.blog ├── logistics │ ├── logistics-query.qblog │ ├── logistics.eblog │ ├── logistics.mblog │ ├── logistics_simple.mblog │ ├── logisticsnn │ └── test.dblog ├── onlinepftest.dblog ├── pcfg │ └── grammar.blog ├── tug-of-war2.blog └── tug-of-war3.blog ├── iblog ├── iblog.bat ├── lib ├── java-cup-11b.jar └── zmq.jar ├── project └── plugin.sbt ├── sbt ├── sbt ├── sbt-launch.jar └── sbt.bat ├── src ├── main │ ├── java │ │ ├── blog │ │ │ ├── BLOGUtil.java │ │ │ ├── DBLOGUtil.java │ │ │ ├── Main.java │ │ │ ├── ObjectIdentifier.java │ │ │ ├── absyn │ │ │ │ ├── Absyn.java │ │ │ │ ├── ArrayTy.java │ │ │ │ ├── BooleanExpr.java │ │ │ │ ├── CaseExpr.java │ │ │ │ ├── Dec.java │ │ │ │ ├── DistinctSymbolDec.java │ │ │ │ ├── DistributionDec.java │ │ │ │ ├── DoubleExpr.java │ │ │ │ ├── EvidenceStmt.java │ │ │ │ ├── ExplicitSetExpr.java │ │ │ │ ├── Expr.java │ │ │ │ ├── ExprList.java │ │ │ │ ├── ExprTupleList.java │ │ │ │ ├── Field.java │ │ │ │ ├── FieldList.java │ │ │ │ ├── FixedFuncDec.java │ │ │ │ ├── FuncCallExpr.java │ │ │ │ ├── FunctionDec.java │ │ │ │ ├── IfExpr.java │ │ │ │ ├── IntExpr.java │ │ │ │ ├── ListComprehension.java │ │ │ │ ├── ListInitExpr.java │ │ │ │ ├── ListTy.java │ │ │ │ ├── MapInitExpr.java │ │ │ │ ├── MapTy.java │ │ │ │ ├── NameTy.java │ │ │ │ ├── NullExpr.java │ │ │ │ ├── NumberDec.java │ │ │ │ ├── NumberEvidence.java │ │ │ │ ├── NumberExpr.java │ │ │ │ ├── OpExpr.java │ │ │ │ ├── OriginFieldList.java │ │ │ │ ├── OriginFuncDec.java │ │ │ │ ├── ParameterDec.java │ │ │ │ ├── PrettyPrinter.java │ │ │ │ ├── Printer.java │ │ │ │ ├── QuantifiedFormulaExpr.java │ │ │ │ ├── QueryStmt.java │ │ │ │ ├── RandomFuncDec.java │ │ │ │ ├── SetExpr.java │ │ │ │ ├── Stmt.java │ │ │ │ ├── StmtList.java │ │ │ │ ├── StringExpr.java │ │ │ │ ├── SymbolArray.java │ │ │ │ ├── SymbolArrayList.java │ │ │ │ ├── TupleSetExpr.java │ │ │ │ ├── Ty.java │ │ │ │ ├── TypeDec.java │ │ │ │ └── ValueEvidence.java │ │ │ ├── bn │ │ │ │ ├── AbstractBayesNetVar.java │ │ │ │ ├── BasicVar.java │ │ │ │ ├── BayesNetVar.java │ │ │ │ ├── CBN.java │ │ │ │ ├── DefaultCBN.java │ │ │ │ ├── DerivedVar.java │ │ │ │ ├── NumberVar.java │ │ │ │ ├── OriginVar.java │ │ │ │ ├── PatchCBN.java │ │ │ │ ├── RandFuncAppVar.java │ │ │ │ └── VarWithDistrib.java │ │ │ ├── common │ │ │ │ ├── AbstractDGraph.java │ │ │ │ ├── AbstractMapWithPreimages.java │ │ │ │ ├── AbstractMultiset.java │ │ │ │ ├── AbstractTupleIterator.java │ │ │ │ ├── AddedTupleIterator.java │ │ │ │ ├── Configuration.java │ │ │ │ ├── DGraph.java │ │ │ │ ├── DefaultDGraph.java │ │ │ │ ├── DefaultMapEntry.java │ │ │ │ ├── ExtensibleLinkedList.java │ │ │ │ ├── Gnuplot.java │ │ │ │ ├── HashMapDiff.java │ │ │ │ ├── HashMapWithPreimages.java │ │ │ │ ├── HashMultiMap.java │ │ │ │ ├── HashMultiMapDiff.java │ │ │ │ ├── HashMultiset.java │ │ │ │ ├── HashSetDiff.java │ │ │ │ ├── Histogram.java │ │ │ │ ├── IdentityFunction.java │ │ │ │ ├── IndexedHashMultiMap.java │ │ │ │ ├── IndexedHashSet.java │ │ │ │ ├── IndexedHashSetDiff.java │ │ │ │ ├── IndexedMultiMap.java │ │ │ │ ├── IndexedMultiMapDiff.java │ │ │ │ ├── IndexedSet.java │ │ │ │ ├── IndexedSetDiff.java │ │ │ │ ├── MapDiff.java │ │ │ │ ├── MapWithPreimages.java │ │ │ │ ├── MapWithPreimagesDiff.java │ │ │ │ ├── MaxReduce.java │ │ │ │ ├── MultiMap.java │ │ │ │ ├── MultiMapDiff.java │ │ │ │ ├── Multiset.java │ │ │ │ ├── MultisetBackedSet.java │ │ │ │ ├── NullaryFunction.java │ │ │ │ ├── ParentUpdateDGraph.java │ │ │ │ ├── PrecisionRecall.java │ │ │ │ ├── SetBackedMultiset.java │ │ │ │ ├── SetDiff.java │ │ │ │ ├── SetWithDistrib.java │ │ │ │ ├── Timer.java │ │ │ │ ├── TupleIterator.java │ │ │ │ ├── UnaryFunction.java │ │ │ │ ├── UnaryPredicate.java │ │ │ │ ├── UnaryProcedure.java │ │ │ │ ├── Util.java │ │ │ │ ├── cmdline │ │ │ │ │ ├── AbstractOption.java │ │ │ │ │ ├── BooleanOption.java │ │ │ │ │ ├── DoubleOption.java │ │ │ │ │ ├── IntOption.java │ │ │ │ │ ├── Option.java │ │ │ │ │ ├── Parser.java │ │ │ │ │ ├── PropertiesOption.java │ │ │ │ │ ├── StringListOption.java │ │ │ │ │ └── StringOption.java │ │ │ │ └── numerical │ │ │ │ │ ├── JamaMatrixLib.java │ │ │ │ │ ├── MatrixFactory.java │ │ │ │ │ └── MatrixLib.java │ │ │ ├── distrib │ │ │ │ ├── Bernoulli.java │ │ │ │ ├── Beta.java │ │ │ │ ├── Binomial.java │ │ │ │ ├── BooleanDistrib.java │ │ │ │ ├── Categorical.java │ │ │ │ ├── CondProbDistrib.java │ │ │ │ ├── Dirichlet.java │ │ │ │ ├── Discrete.java │ │ │ │ ├── DontCare.java │ │ │ │ ├── EqualsCPD.java │ │ │ │ ├── Exponential.java │ │ │ │ ├── GEM.java │ │ │ │ ├── Gamma.java │ │ │ │ ├── Gaussian.java │ │ │ │ ├── Geometric.java │ │ │ │ ├── InverseWishart.java │ │ │ │ ├── IsotropicMultivarGaussian.java │ │ │ │ ├── Laplace.java │ │ │ │ ├── ListInterp.java │ │ │ │ ├── Multinomial.java │ │ │ │ ├── MultivarGaussian.java │ │ │ │ ├── NegativeBinomial.java │ │ │ │ ├── Poisson.java │ │ │ │ ├── TabularInterp.java │ │ │ │ ├── UniformChoice.java │ │ │ │ ├── UniformInt.java │ │ │ │ ├── UniformReal.java │ │ │ │ ├── UniformVector.java │ │ │ │ └── UnivarGaussian.java │ │ │ ├── engine │ │ │ │ ├── InferenceEngine.java │ │ │ │ ├── LiuWestFilter.java │ │ │ │ ├── Particle.java │ │ │ │ ├── ParticleFilter.java │ │ │ │ ├── ResampleMovePF.java │ │ │ │ └── SamplingEngine.java │ │ │ ├── io │ │ │ │ ├── DummyWriter.java │ │ │ │ ├── JsonWriter.java │ │ │ │ ├── ResultWriter.java │ │ │ │ └── TableWriter.java │ │ │ ├── model │ │ │ │ ├── AbstractFunctionInterp.java │ │ │ │ ├── AbstractQuery.java │ │ │ │ ├── ArgSpec.java │ │ │ │ ├── ArgSpecQuery.java │ │ │ │ ├── ArraySpec.java │ │ │ │ ├── ArrayType.java │ │ │ │ ├── AtomicFormula.java │ │ │ │ ├── BuiltInFunctions.java │ │ │ │ ├── BuiltInTypes.java │ │ │ │ ├── CardinalitySpec.java │ │ │ │ ├── CaseSpec.java │ │ │ │ ├── ComparisonFormula.java │ │ │ │ ├── ConjFormula.java │ │ │ │ ├── ConstantInterp.java │ │ │ │ ├── DependencyModel.java │ │ │ │ ├── DisjFormula.java │ │ │ │ ├── DistribSpec.java │ │ │ │ ├── EnumeratedObject.java │ │ │ │ ├── EqualityFormula.java │ │ │ │ ├── Evidence.java │ │ │ │ ├── ExistentialFormula.java │ │ │ │ ├── ExplicitSetSpec.java │ │ │ │ ├── FixedFunction.java │ │ │ │ ├── Formula.java │ │ │ │ ├── FuncAppTerm.java │ │ │ │ ├── Function.java │ │ │ │ ├── FunctionInterp.java │ │ │ │ ├── FunctionSignature.java │ │ │ │ ├── GenericObject.java │ │ │ │ ├── GenericPOPAppSatisfier.java │ │ │ │ ├── ImplicFormula.java │ │ │ │ ├── ImplicitSetSpec.java │ │ │ │ ├── ListSpec.java │ │ │ │ ├── LogicalVar.java │ │ │ │ ├── MapSpec.java │ │ │ │ ├── MatrixSpec.java │ │ │ │ ├── Model.java │ │ │ │ ├── ModelEvidenceQueries.java │ │ │ │ ├── NegFormula.java │ │ │ │ ├── NonGuaranteedObject.java │ │ │ │ ├── OriginFunction.java │ │ │ │ ├── POP.java │ │ │ │ ├── Queries.java │ │ │ │ ├── Query.java │ │ │ │ ├── RandomFunction.java │ │ │ │ ├── SkolemConstant.java │ │ │ │ ├── Substitution.java │ │ │ │ ├── SymbolEvidenceStatement.java │ │ │ │ ├── SymbolTerm.java │ │ │ │ ├── Term.java │ │ │ │ ├── TrueFormula.java │ │ │ │ ├── TupleSetSpec.java │ │ │ │ ├── Type.java │ │ │ │ ├── UniversalFormula.java │ │ │ │ └── ValueEvidenceStatement.java │ │ │ ├── msg │ │ │ │ └── ErrorMsg.java │ │ │ ├── objgen │ │ │ │ ├── AbstractObjectIterator.java │ │ │ │ ├── AbstractObjectSet.java │ │ │ │ ├── CompiledSetSpec.java │ │ │ │ ├── DefaultObjectIterator.java │ │ │ │ ├── DefaultObjectSet.java │ │ │ │ ├── ElementSet.java │ │ │ │ ├── GuaranteedNode.java │ │ │ │ ├── IntegerNode.java │ │ │ │ ├── Node.java │ │ │ │ ├── ObjGenGraph.java │ │ │ │ ├── ObjectIterator.java │ │ │ │ ├── ObjectSet.java │ │ │ │ ├── OrNode.java │ │ │ │ ├── POPAppBasedSet.java │ │ │ │ ├── POPNode.java │ │ │ │ ├── SatisfierIterator.java │ │ │ │ ├── TermNode.java │ │ │ │ ├── TimestepNode.java │ │ │ │ └── UnfilteredIterator.java │ │ │ ├── parse │ │ │ │ ├── BLOGLexer.java │ │ │ │ ├── BLOGParser.java │ │ │ │ ├── BLOGTokenConstants.java │ │ │ │ └── Parse.java │ │ │ ├── sample │ │ │ │ ├── AbstractEvidenceLikelihoodWeighter.java │ │ │ │ ├── AbstractProposer.java │ │ │ │ ├── ClassicInstantiatingEvalContext.java │ │ │ │ ├── DefaultEvalContext.java │ │ │ │ ├── DefaultEvidenceLikelihoodWeighter.java │ │ │ │ ├── EvalContext.java │ │ │ │ ├── EvidenceLikelihoodWeighter.java │ │ │ │ ├── GenericProposer.java │ │ │ │ ├── GibbsSampler.java │ │ │ │ ├── InstantiatingEvalContext.java │ │ │ │ ├── IntRegion.java │ │ │ │ ├── LWImportanceSampler.java │ │ │ │ ├── LWSampler.java │ │ │ │ ├── LikelihoodAndWeight.java │ │ │ │ ├── MHSampler.java │ │ │ │ ├── ParentRecEvalContext.java │ │ │ │ ├── Proposer.java │ │ │ │ ├── Region.java │ │ │ │ ├── RejectionSampler.java │ │ │ │ ├── Sampler.java │ │ │ │ ├── SimpleInstEvalContext.java │ │ │ │ ├── SingletonRegion.java │ │ │ │ ├── SymbolEvidenceLikelihoodWeighter.java │ │ │ │ ├── TupleSetSpecEvidenceLikelihoodWeighter.java │ │ │ │ └── modular │ │ │ │ │ ├── BlockInstantiatingEvalContext.java │ │ │ │ │ ├── BlockInstantiatingEvalContextImpl.java │ │ │ │ │ ├── DiscreteECSSSampler.java │ │ │ │ │ └── ModularLWSampler.java │ │ │ ├── semant │ │ │ │ └── Semant.java │ │ │ ├── symbol │ │ │ │ ├── Symbol.java │ │ │ │ └── Table.java │ │ │ ├── translate │ │ │ │ └── Translator.java │ │ │ ├── type │ │ │ │ ├── ARRAY.java │ │ │ │ ├── DOUBLE.java │ │ │ │ ├── INT.java │ │ │ │ ├── MAP.java │ │ │ │ ├── NULL.java │ │ │ │ ├── STRING.java │ │ │ │ ├── Timestep.java │ │ │ │ └── Type.java │ │ │ └── world │ │ │ │ ├── AbstractPartialWorld.java │ │ │ │ ├── DefaultPartialWorld.java │ │ │ │ ├── PartialWorld.java │ │ │ │ ├── PartialWorldDiff.java │ │ │ │ ├── UninstVarIterator.java │ │ │ │ ├── WorldDiffListener.java │ │ │ │ ├── WorldInProgress.java │ │ │ │ └── WorldListener.java │ │ └── ppaml_slam │ │ │ ├── DynamicsInterp.java │ │ │ ├── DynamicsLogic.java │ │ │ └── RPC.java │ ├── resources │ │ └── ppaml_slam │ │ │ ├── config-fullrun │ │ │ ├── config-smoketest │ │ │ ├── v1.blog │ │ │ ├── v2.blog │ │ │ └── v3.blog │ └── scala │ │ ├── blog │ │ └── debug │ │ │ ├── FilterFeeder.scala │ │ │ ├── LWDebugger.scala │ │ │ ├── LWSample.scala │ │ │ ├── MHDebugger.scala │ │ │ ├── MHSample.scala │ │ │ ├── OfflineFilterFeeder.scala │ │ │ ├── Particle.scala │ │ │ ├── ParticleFilter.scala │ │ │ ├── Sample.scala │ │ │ └── SamplerDebugger.scala │ │ ├── iblog.scala │ │ └── ppaml_slam │ │ ├── Main.scala │ │ └── SlamFeeder.scala ├── parser │ ├── BLOGLexer.flex │ └── BLOGParser.cup └── test │ ├── java │ └── test │ │ ├── blog │ │ ├── BenchmarkLogDet.java │ │ ├── TestComparison.java │ │ ├── TestDBLOGUtil.java │ │ ├── TestOperator.java │ │ ├── common │ │ │ └── numerical │ │ │ │ └── TestMatrixLib.java │ │ ├── distrib │ │ │ ├── TestBernoulli.java │ │ │ ├── TestBeta.java │ │ │ ├── TestBinomial.java │ │ │ ├── TestBooleanDistrib.java │ │ │ ├── TestCategorical.java │ │ │ ├── TestDirichlet.java │ │ │ ├── TestDiscrete.java │ │ │ ├── TestDistributions.java │ │ │ ├── TestExponential.java │ │ │ ├── TestGEM.java │ │ │ ├── TestGamma.java │ │ │ ├── TestGeometric.java │ │ │ ├── TestInverseWishart.java │ │ │ ├── TestIsotropicMultivarGaussian.java │ │ │ ├── TestMultinomial.java │ │ │ ├── TestMultivarGaussian.java │ │ │ ├── TestNegativeBinomial.java │ │ │ ├── TestPoisson.java │ │ │ ├── TestUniformChoice.java │ │ │ ├── TestUniformInt.java │ │ │ ├── TestUniformReal.java │ │ │ ├── TestUniformVector.java │ │ │ └── TestUnivariateGaussian.java │ │ ├── model │ │ │ ├── TestArgSpec.java │ │ │ ├── TestBuiltInFunctions.java │ │ │ ├── TestExplicitSet.java │ │ │ └── TestTupleSet.java │ │ ├── parse │ │ │ ├── TestArrayType.java │ │ │ ├── TestFixed.java │ │ │ ├── TestIf.java │ │ │ ├── TestObs.java │ │ │ ├── TestParameter.java │ │ │ ├── TestParse.java │ │ │ ├── TestType.java │ │ │ └── error_examples │ │ │ │ ├── case.blog │ │ │ │ ├── distinctdecl.blog │ │ │ │ ├── evidence.blog │ │ │ │ ├── fixedfuncdecl.blog │ │ │ │ ├── functioncall.blog │ │ │ │ ├── mismatchedparens.blog │ │ │ │ ├── missingsemi.blog │ │ │ │ ├── numberexpr.blog │ │ │ │ ├── numberstmt.blog │ │ │ │ ├── obs.blog │ │ │ │ ├── operationexpr.blog │ │ │ │ ├── originfuncdecl.blog │ │ │ │ ├── quantifiedformula.blog │ │ │ │ ├── querystmt.blog │ │ │ │ └── randfuncdecl.blog │ │ └── sample │ │ │ └── modular │ │ │ └── ModularLWExperimentOnAircraft.java │ │ ├── example │ │ ├── ComputeUrnBall.java │ │ ├── ExampleTest.java │ │ ├── IncorrectProbException.java │ │ ├── TestBurglary.java │ │ ├── TestHurricane.java │ │ ├── TestPoissonBall.java │ │ ├── TestSimpleAircraft.java │ │ └── TestWeather.java │ │ └── ppaml_slam │ │ └── TestDynamicsLogic.java │ └── models │ ├── README │ ├── explicitset.blog │ ├── minmax.blog │ └── tupleset.blog ├── tools ├── blog-for-sublime │ ├── README.md │ ├── blog.YAML-tmLanguage │ ├── blog.tmLanguage │ └── install.sh ├── blog.el ├── blog.vim ├── blog_py_lexer │ ├── README │ ├── blog │ │ ├── __init__.py │ │ └── lexer.py │ └── setup.py ├── error-examples │ ├── current │ │ ├── random-fixed │ │ │ ├── fixed-function.blog │ │ │ ├── fixed-symbol.blog │ │ │ ├── random-function.blog │ │ │ └── random-symbol.blog │ │ ├── semicolon.blog │ │ └── types │ │ │ ├── function-missing-argument-type.blog │ │ │ ├── function-missing-fixed-prefix.blog │ │ │ ├── function-missing-type.blog │ │ │ ├── integer-not-string.blog │ │ │ ├── symbol-missing-fixed-prefix.blog │ │ │ └── symbol-missing-type.blog │ └── wip │ │ └── distributions │ │ ├── bernoulli_type.blog │ │ ├── binomial_type.blog │ │ ├── exponential_type.blog │ │ ├── multinomial_type.blog │ │ └── no-squiggle.blog ├── pretty_print_json.py └── testing │ ├── docs │ └── integration_test.md │ ├── integration-test.sh │ ├── run-examples.sh │ └── run-incorrect-examples.sh └── web ├── README.md ├── app.py ├── example.blog ├── run_examples.py ├── start-server.sh ├── static ├── blog │ └── blog.js ├── codemirror.css ├── codemirror.js ├── css │ └── index.css ├── images │ └── BerkeleyLogo.png ├── jquery.js └── util │ ├── closetag.js │ ├── dialog.css │ ├── dialog.js │ ├── foldcode.js │ ├── formatting.js │ ├── javascript-hint.js │ ├── loadmode.js │ ├── match-highlighter.js │ ├── multiplex.js │ ├── overlay.js │ ├── pig-hint.js │ ├── runmode-standalone.js │ ├── runmode.js │ ├── search.js │ ├── searchcursor.js │ ├── simple-hint.css │ ├── simple-hint.js │ └── xml-hint.js └── templates ├── data.html └── index.html /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | language: java 2 | script: tools/testing/integration-test.sh 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/README.md -------------------------------------------------------------------------------- /blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/blog -------------------------------------------------------------------------------- /blog-full.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/blog-full.bat -------------------------------------------------------------------------------- /bloglint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/bloglint -------------------------------------------------------------------------------- /bloglint.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/bloglint.bat -------------------------------------------------------------------------------- /dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/dblog -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/content/pages/contributor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/contributor.md -------------------------------------------------------------------------------- /docs/content/pages/develop-guide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/develop-guide.md -------------------------------------------------------------------------------- /docs/content/pages/documentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/documentation.md -------------------------------------------------------------------------------- /docs/content/pages/download.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/download.md -------------------------------------------------------------------------------- /docs/content/pages/get-start.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/get-start.md -------------------------------------------------------------------------------- /docs/content/pages/iblog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/iblog.md -------------------------------------------------------------------------------- /docs/content/pages/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/index.md -------------------------------------------------------------------------------- /docs/content/pages/publication.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/publication.md -------------------------------------------------------------------------------- /docs/content/pages/release-note.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/release-note.md -------------------------------------------------------------------------------- /docs/content/pages/user-manual.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/content/pages/user-manual.md -------------------------------------------------------------------------------- /docs/develop_server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/develop_server.sh -------------------------------------------------------------------------------- /docs/pelicanconf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/pelicanconf.py -------------------------------------------------------------------------------- /docs/publishconf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/publishconf.py -------------------------------------------------------------------------------- /docs/theme/static/css/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/css/main.css -------------------------------------------------------------------------------- /docs/theme/static/css/pygment.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/css/pygment.css -------------------------------------------------------------------------------- /docs/theme/static/css/reset.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/css/reset.css -------------------------------------------------------------------------------- /docs/theme/static/css/typogrify.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/css/typogrify.css -------------------------------------------------------------------------------- /docs/theme/static/css/wide.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/css/wide.css -------------------------------------------------------------------------------- /docs/theme/static/images/gh-fork-right-graphite@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/gh-fork-right-graphite@2x.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/aboutme.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/aboutme.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/bitbucket.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/bitbucket.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/delicious.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/delicious.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/facebook.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/facebook.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/github.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/github.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/gitorious.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/gitorious.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/gittip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/gittip.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/google-groups.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/google-groups.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/google-plus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/google-plus.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/hackernews.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/hackernews.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/lastfm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/lastfm.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/linkedin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/linkedin.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/reddit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/reddit.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/rss.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/rss.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/slideshare.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/slideshare.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/speakerdeck.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/speakerdeck.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/stackoverflow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/stackoverflow.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/twitter.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/twitter.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/vimeo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/vimeo.png -------------------------------------------------------------------------------- /docs/theme/static/images/icons/youtube.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/static/images/icons/youtube.png -------------------------------------------------------------------------------- /docs/theme/templates/analytics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/templates/analytics.html -------------------------------------------------------------------------------- /docs/theme/templates/base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/templates/base.html -------------------------------------------------------------------------------- /docs/theme/templates/page.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/theme/templates/page.html -------------------------------------------------------------------------------- /docs/update_ghpages.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/docs/update_ghpages.sh -------------------------------------------------------------------------------- /example/abs.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/abs.blog -------------------------------------------------------------------------------- /example/aircraft-position.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/aircraft-position.blog -------------------------------------------------------------------------------- /example/aircraft-static.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/aircraft-static.blog -------------------------------------------------------------------------------- /example/ar1.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/ar1.dblog -------------------------------------------------------------------------------- /example/ar2.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/ar2.dblog -------------------------------------------------------------------------------- /example/background/adaptive-background-mixture.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/background/adaptive-background-mixture.dblog -------------------------------------------------------------------------------- /example/background/background-mixture-evolve.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/background/background-mixture-evolve.dblog -------------------------------------------------------------------------------- /example/background/background-mixture-uniform-prior-per-pixel.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/background/background-mixture-uniform-prior-per-pixel.blog -------------------------------------------------------------------------------- /example/background/background-mixture-uniform-prior.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/background/background-mixture-uniform-prior.blog -------------------------------------------------------------------------------- /example/background/background-mixture-with-variable.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/background/background-mixture-with-variable.blog -------------------------------------------------------------------------------- /example/background/background-mixture.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/background/background-mixture.blog -------------------------------------------------------------------------------- /example/balls/all-same.eblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/all-same.eblog -------------------------------------------------------------------------------- /example/balls/half-half.eblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/half-half.eblog -------------------------------------------------------------------------------- /example/balls/id-uncert-det.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/id-uncert-det.blog -------------------------------------------------------------------------------- /example/balls/id-uncert-noisy.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/id-uncert-noisy.blog -------------------------------------------------------------------------------- /example/balls/num-balls.qblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/num-balls.qblog -------------------------------------------------------------------------------- /example/balls/poisson-prior-det.mblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/poisson-prior-det.mblog -------------------------------------------------------------------------------- /example/balls/poisson-prior-noisy.mblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/poisson-prior-noisy.mblog -------------------------------------------------------------------------------- /example/balls/uniform-prior-det.mblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/uniform-prior-det.mblog -------------------------------------------------------------------------------- /example/balls/uniform-prior-noisy.mblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/balls/uniform-prior-noisy.mblog -------------------------------------------------------------------------------- /example/bayesian-linear-regression.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/bayesian-linear-regression.blog -------------------------------------------------------------------------------- /example/birthday.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/birthday.blog -------------------------------------------------------------------------------- /example/burglary-multihouse.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/burglary-multihouse.blog -------------------------------------------------------------------------------- /example/burglary.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/burglary.blog -------------------------------------------------------------------------------- /example/citation/publications.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/citation/publications.blog -------------------------------------------------------------------------------- /example/csi.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/csi.blog -------------------------------------------------------------------------------- /example/exp.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/exp.blog -------------------------------------------------------------------------------- /example/factorial.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/factorial.blog -------------------------------------------------------------------------------- /example/file-io.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/file-io.blog -------------------------------------------------------------------------------- /example/galaxy.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/galaxy.blog -------------------------------------------------------------------------------- /example/gaussian-params/univar.blog.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/gaussian-params/univar.blog.template -------------------------------------------------------------------------------- /example/gaussian-params/univar_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/gaussian-params/univar_gen.py -------------------------------------------------------------------------------- /example/general-fixed-fun.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/general-fixed-fun.blog -------------------------------------------------------------------------------- /example/grades.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/grades.blog -------------------------------------------------------------------------------- /example/healthiness.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/healthiness.blog -------------------------------------------------------------------------------- /example/helicopter-static.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/helicopter-static.blog -------------------------------------------------------------------------------- /example/hmm.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/hmm.dblog -------------------------------------------------------------------------------- /example/hurricane-new.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/hurricane-new.blog -------------------------------------------------------------------------------- /example/hurricane.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/hurricane.blog -------------------------------------------------------------------------------- /example/kalman-filter.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/kalman-filter.dblog -------------------------------------------------------------------------------- /example/lda.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/lda.blog -------------------------------------------------------------------------------- /example/linear-algebra.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/linear-algebra.blog -------------------------------------------------------------------------------- /example/matrix-from-matlab.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/matrix-from-matlab.txt -------------------------------------------------------------------------------- /example/matrix-from-numpy.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/matrix-from-numpy.txt -------------------------------------------------------------------------------- /example/mixture-of-gaussian-2d-infinite.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/mixture-of-gaussian-2d-infinite.blog -------------------------------------------------------------------------------- /example/mixture-of-gaussian-full.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/mixture-of-gaussian-full.blog -------------------------------------------------------------------------------- /example/mixture-of-gaussian-infinite.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/mixture-of-gaussian-infinite.blog -------------------------------------------------------------------------------- /example/mixture-of-gaussian.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/mixture-of-gaussian.blog -------------------------------------------------------------------------------- /example/multinomial.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/multinomial.blog -------------------------------------------------------------------------------- /example/multivar-gaussian-random-params/fixed-mu-fixed-sigma.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/multivar-gaussian-random-params/fixed-mu-fixed-sigma.blog -------------------------------------------------------------------------------- /example/multivar-gaussian-random-params/fixed-mu-random-sigma.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/multivar-gaussian-random-params/fixed-mu-random-sigma.blog -------------------------------------------------------------------------------- /example/multivar-gaussian-random-params/random-mu-fixed-sigma.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/multivar-gaussian-random-params/random-mu-fixed-sigma.blog -------------------------------------------------------------------------------- /example/multivar-gaussian-random-params/random-mu-random-sigma.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/multivar-gaussian-random-params/random-mu-random-sigma.blog -------------------------------------------------------------------------------- /example/nested-case-expr.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/nested-case-expr.blog -------------------------------------------------------------------------------- /example/pcfg/simple-pcfg.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/pcfg/simple-pcfg.blog -------------------------------------------------------------------------------- /example/pcfg/tiny-pcfg.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/pcfg/tiny-pcfg.blog -------------------------------------------------------------------------------- /example/pf-test.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/pf-test.blog -------------------------------------------------------------------------------- /example/poisson-ball.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/poisson-ball.blog -------------------------------------------------------------------------------- /example/resample-move.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/resample-move.blog -------------------------------------------------------------------------------- /example/simple-aircraft.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/simple-aircraft.blog -------------------------------------------------------------------------------- /example/stochastic-volatility.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/stochastic-volatility.dblog -------------------------------------------------------------------------------- /example/sybil-attack-exp1.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/sybil-attack-exp1.blog -------------------------------------------------------------------------------- /example/sybil-attack-exp2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/sybil-attack-exp2.blog -------------------------------------------------------------------------------- /example/sybil-attack-exp3.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/sybil-attack-exp3.blog -------------------------------------------------------------------------------- /example/transpose.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/transpose.blog -------------------------------------------------------------------------------- /example/trig.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/trig.blog -------------------------------------------------------------------------------- /example/tugwar.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/tugwar.blog -------------------------------------------------------------------------------- /example/tugwar1.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/tugwar1.blog -------------------------------------------------------------------------------- /example/tugwar2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/tugwar2.blog -------------------------------------------------------------------------------- /example/uniform-ball.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/uniform-ball.blog -------------------------------------------------------------------------------- /example/weather.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example/weather.dblog -------------------------------------------------------------------------------- /example_wip/aircraft-wandering.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/aircraft-wandering.dblog -------------------------------------------------------------------------------- /example_wip/and-or/and-node.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/and-node.blog -------------------------------------------------------------------------------- /example_wip/and-or/or-node.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/or-node.blog -------------------------------------------------------------------------------- /example_wip/and-or/ordering.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/ordering.blog -------------------------------------------------------------------------------- /example_wip/and-or/projection.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/projection.blog -------------------------------------------------------------------------------- /example_wip/and-or/projection2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/projection2.blog -------------------------------------------------------------------------------- /example_wip/and-or/projection3.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/projection3.blog -------------------------------------------------------------------------------- /example_wip/and-or/projection_tmp.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/projection_tmp.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene-and-or-2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene-and-or-2.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene-and-or.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene-and-or.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene2.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene_face.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene_face.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene_face_bkp.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene_face_bkp.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene_face_integer.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene_face_integer.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene_face_integer_testcase.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene_face_integer_testcase.blog -------------------------------------------------------------------------------- /example_wip/and-or/scene_face_real.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/and-or/scene_face_real.blog -------------------------------------------------------------------------------- /example_wip/citation/bib.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/citation/bib.blog -------------------------------------------------------------------------------- /example_wip/games/blackjack-for-one.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/games/blackjack-for-one.blog -------------------------------------------------------------------------------- /example_wip/games/blackjack.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/games/blackjack.blog -------------------------------------------------------------------------------- /example_wip/games/monopoly.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/games/monopoly.blog -------------------------------------------------------------------------------- /example_wip/logistics/logistics-query.qblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/logistics/logistics-query.qblog -------------------------------------------------------------------------------- /example_wip/logistics/logistics.eblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/logistics/logistics.eblog -------------------------------------------------------------------------------- /example_wip/logistics/logistics.mblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/logistics/logistics.mblog -------------------------------------------------------------------------------- /example_wip/logistics/logistics_simple.mblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/logistics/logistics_simple.mblog -------------------------------------------------------------------------------- /example_wip/logistics/logisticsnn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/logistics/logisticsnn -------------------------------------------------------------------------------- /example_wip/logistics/test.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/logistics/test.dblog -------------------------------------------------------------------------------- /example_wip/onlinepftest.dblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/onlinepftest.dblog -------------------------------------------------------------------------------- /example_wip/pcfg/grammar.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/pcfg/grammar.blog -------------------------------------------------------------------------------- /example_wip/tug-of-war2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/tug-of-war2.blog -------------------------------------------------------------------------------- /example_wip/tug-of-war3.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/example_wip/tug-of-war3.blog -------------------------------------------------------------------------------- /iblog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/iblog -------------------------------------------------------------------------------- /iblog.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/iblog.bat -------------------------------------------------------------------------------- /lib/java-cup-11b.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/lib/java-cup-11b.jar -------------------------------------------------------------------------------- /lib/zmq.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/lib/zmq.jar -------------------------------------------------------------------------------- /project/plugin.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/project/plugin.sbt -------------------------------------------------------------------------------- /sbt/sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/sbt/sbt -------------------------------------------------------------------------------- /sbt/sbt-launch.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/sbt/sbt-launch.jar -------------------------------------------------------------------------------- /sbt/sbt.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/sbt/sbt.bat -------------------------------------------------------------------------------- /src/main/java/blog/BLOGUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/BLOGUtil.java -------------------------------------------------------------------------------- /src/main/java/blog/DBLOGUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/DBLOGUtil.java -------------------------------------------------------------------------------- /src/main/java/blog/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/Main.java -------------------------------------------------------------------------------- /src/main/java/blog/ObjectIdentifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/ObjectIdentifier.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Absyn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Absyn.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ArrayTy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ArrayTy.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/BooleanExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/BooleanExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/CaseExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/CaseExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Dec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Dec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/DistinctSymbolDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/DistinctSymbolDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/DistributionDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/DistributionDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/DoubleExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/DoubleExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/EvidenceStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/EvidenceStmt.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ExplicitSetExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ExplicitSetExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Expr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Expr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ExprList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ExprList.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ExprTupleList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ExprTupleList.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Field.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/FieldList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/FieldList.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/FixedFuncDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/FixedFuncDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/FuncCallExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/FuncCallExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/FunctionDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/FunctionDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/IfExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/IfExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/IntExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/IntExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ListComprehension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ListComprehension.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ListInitExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ListInitExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ListTy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ListTy.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/MapInitExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/MapInitExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/MapTy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/MapTy.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/NameTy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/NameTy.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/NullExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/NullExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/NumberDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/NumberDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/NumberEvidence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/NumberEvidence.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/NumberExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/NumberExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/OpExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/OpExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/OriginFieldList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/OriginFieldList.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/OriginFuncDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/OriginFuncDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ParameterDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ParameterDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/PrettyPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/PrettyPrinter.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Printer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Printer.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/QuantifiedFormulaExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/QuantifiedFormulaExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/QueryStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/QueryStmt.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/RandomFuncDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/RandomFuncDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/SetExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/SetExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Stmt.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/StmtList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/StmtList.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/StringExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/StringExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/SymbolArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/SymbolArray.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/SymbolArrayList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/SymbolArrayList.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/TupleSetExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/TupleSetExpr.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/Ty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/Ty.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/TypeDec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/TypeDec.java -------------------------------------------------------------------------------- /src/main/java/blog/absyn/ValueEvidence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/absyn/ValueEvidence.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/AbstractBayesNetVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/AbstractBayesNetVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/BasicVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/BasicVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/BayesNetVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/BayesNetVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/CBN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/CBN.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/DefaultCBN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/DefaultCBN.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/DerivedVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/DerivedVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/NumberVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/NumberVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/OriginVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/OriginVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/PatchCBN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/PatchCBN.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/RandFuncAppVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/RandFuncAppVar.java -------------------------------------------------------------------------------- /src/main/java/blog/bn/VarWithDistrib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/bn/VarWithDistrib.java -------------------------------------------------------------------------------- /src/main/java/blog/common/AbstractDGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/AbstractDGraph.java -------------------------------------------------------------------------------- /src/main/java/blog/common/AbstractMapWithPreimages.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/AbstractMapWithPreimages.java -------------------------------------------------------------------------------- /src/main/java/blog/common/AbstractMultiset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/AbstractMultiset.java -------------------------------------------------------------------------------- /src/main/java/blog/common/AbstractTupleIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/AbstractTupleIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/common/AddedTupleIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/AddedTupleIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/common/Configuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/Configuration.java -------------------------------------------------------------------------------- /src/main/java/blog/common/DGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/DGraph.java -------------------------------------------------------------------------------- /src/main/java/blog/common/DefaultDGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/DefaultDGraph.java -------------------------------------------------------------------------------- /src/main/java/blog/common/DefaultMapEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/DefaultMapEntry.java -------------------------------------------------------------------------------- /src/main/java/blog/common/ExtensibleLinkedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/ExtensibleLinkedList.java -------------------------------------------------------------------------------- /src/main/java/blog/common/Gnuplot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/Gnuplot.java -------------------------------------------------------------------------------- /src/main/java/blog/common/HashMapDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/HashMapDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/HashMapWithPreimages.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/HashMapWithPreimages.java -------------------------------------------------------------------------------- /src/main/java/blog/common/HashMultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/HashMultiMap.java -------------------------------------------------------------------------------- /src/main/java/blog/common/HashMultiMapDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/HashMultiMapDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/HashMultiset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/HashMultiset.java -------------------------------------------------------------------------------- /src/main/java/blog/common/HashSetDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/HashSetDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/Histogram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/Histogram.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IdentityFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IdentityFunction.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedHashMultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedHashMultiMap.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedHashSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedHashSet.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedHashSetDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedHashSetDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedMultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedMultiMap.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedMultiMapDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedMultiMapDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedSet.java -------------------------------------------------------------------------------- /src/main/java/blog/common/IndexedSetDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/IndexedSetDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MapDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MapDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MapWithPreimages.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MapWithPreimages.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MapWithPreimagesDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MapWithPreimagesDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MaxReduce.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MaxReduce.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MultiMap.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MultiMapDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MultiMapDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/Multiset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/Multiset.java -------------------------------------------------------------------------------- /src/main/java/blog/common/MultisetBackedSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/MultisetBackedSet.java -------------------------------------------------------------------------------- /src/main/java/blog/common/NullaryFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/NullaryFunction.java -------------------------------------------------------------------------------- /src/main/java/blog/common/ParentUpdateDGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/ParentUpdateDGraph.java -------------------------------------------------------------------------------- /src/main/java/blog/common/PrecisionRecall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/PrecisionRecall.java -------------------------------------------------------------------------------- /src/main/java/blog/common/SetBackedMultiset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/SetBackedMultiset.java -------------------------------------------------------------------------------- /src/main/java/blog/common/SetDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/SetDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/common/SetWithDistrib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/SetWithDistrib.java -------------------------------------------------------------------------------- /src/main/java/blog/common/Timer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/Timer.java -------------------------------------------------------------------------------- /src/main/java/blog/common/TupleIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/TupleIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/common/UnaryFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/UnaryFunction.java -------------------------------------------------------------------------------- /src/main/java/blog/common/UnaryPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/UnaryPredicate.java -------------------------------------------------------------------------------- /src/main/java/blog/common/UnaryProcedure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/UnaryProcedure.java -------------------------------------------------------------------------------- /src/main/java/blog/common/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/Util.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/AbstractOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/AbstractOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/BooleanOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/BooleanOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/DoubleOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/DoubleOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/IntOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/IntOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/Option.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/Option.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/Parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/Parser.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/PropertiesOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/PropertiesOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/StringListOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/StringListOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/cmdline/StringOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/cmdline/StringOption.java -------------------------------------------------------------------------------- /src/main/java/blog/common/numerical/JamaMatrixLib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/numerical/JamaMatrixLib.java -------------------------------------------------------------------------------- /src/main/java/blog/common/numerical/MatrixFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/numerical/MatrixFactory.java -------------------------------------------------------------------------------- /src/main/java/blog/common/numerical/MatrixLib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/common/numerical/MatrixLib.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Bernoulli.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Bernoulli.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Beta.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Beta.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Binomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Binomial.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/BooleanDistrib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/BooleanDistrib.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Categorical.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Categorical.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/CondProbDistrib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/CondProbDistrib.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Dirichlet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Dirichlet.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Discrete.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Discrete.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/DontCare.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/DontCare.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/EqualsCPD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/EqualsCPD.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Exponential.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Exponential.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/GEM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/GEM.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Gamma.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Gamma.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Gaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Gaussian.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Geometric.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Geometric.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/InverseWishart.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/InverseWishart.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/IsotropicMultivarGaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/IsotropicMultivarGaussian.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Laplace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Laplace.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/ListInterp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/ListInterp.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Multinomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Multinomial.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/MultivarGaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/MultivarGaussian.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/NegativeBinomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/NegativeBinomial.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/Poisson.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/Poisson.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/TabularInterp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/TabularInterp.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/UniformChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/UniformChoice.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/UniformInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/UniformInt.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/UniformReal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/UniformReal.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/UniformVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/UniformVector.java -------------------------------------------------------------------------------- /src/main/java/blog/distrib/UnivarGaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/distrib/UnivarGaussian.java -------------------------------------------------------------------------------- /src/main/java/blog/engine/InferenceEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/engine/InferenceEngine.java -------------------------------------------------------------------------------- /src/main/java/blog/engine/LiuWestFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/engine/LiuWestFilter.java -------------------------------------------------------------------------------- /src/main/java/blog/engine/Particle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/engine/Particle.java -------------------------------------------------------------------------------- /src/main/java/blog/engine/ParticleFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/engine/ParticleFilter.java -------------------------------------------------------------------------------- /src/main/java/blog/engine/ResampleMovePF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/engine/ResampleMovePF.java -------------------------------------------------------------------------------- /src/main/java/blog/engine/SamplingEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/engine/SamplingEngine.java -------------------------------------------------------------------------------- /src/main/java/blog/io/DummyWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/io/DummyWriter.java -------------------------------------------------------------------------------- /src/main/java/blog/io/JsonWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/io/JsonWriter.java -------------------------------------------------------------------------------- /src/main/java/blog/io/ResultWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/io/ResultWriter.java -------------------------------------------------------------------------------- /src/main/java/blog/io/TableWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/io/TableWriter.java -------------------------------------------------------------------------------- /src/main/java/blog/model/AbstractFunctionInterp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/AbstractFunctionInterp.java -------------------------------------------------------------------------------- /src/main/java/blog/model/AbstractQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/AbstractQuery.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ArgSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ArgSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ArgSpecQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ArgSpecQuery.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ArraySpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ArraySpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ArrayType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ArrayType.java -------------------------------------------------------------------------------- /src/main/java/blog/model/AtomicFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/AtomicFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/BuiltInFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/BuiltInFunctions.java -------------------------------------------------------------------------------- /src/main/java/blog/model/BuiltInTypes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/BuiltInTypes.java -------------------------------------------------------------------------------- /src/main/java/blog/model/CardinalitySpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/CardinalitySpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/CaseSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/CaseSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ComparisonFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ComparisonFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ConjFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ConjFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ConstantInterp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ConstantInterp.java -------------------------------------------------------------------------------- /src/main/java/blog/model/DependencyModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/DependencyModel.java -------------------------------------------------------------------------------- /src/main/java/blog/model/DisjFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/DisjFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/DistribSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/DistribSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/EnumeratedObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/EnumeratedObject.java -------------------------------------------------------------------------------- /src/main/java/blog/model/EqualityFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/EqualityFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Evidence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Evidence.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ExistentialFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ExistentialFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ExplicitSetSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ExplicitSetSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/FixedFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/FixedFunction.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Formula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Formula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/FuncAppTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/FuncAppTerm.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Function.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Function.java -------------------------------------------------------------------------------- /src/main/java/blog/model/FunctionInterp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/FunctionInterp.java -------------------------------------------------------------------------------- /src/main/java/blog/model/FunctionSignature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/FunctionSignature.java -------------------------------------------------------------------------------- /src/main/java/blog/model/GenericObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/GenericObject.java -------------------------------------------------------------------------------- /src/main/java/blog/model/GenericPOPAppSatisfier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/GenericPOPAppSatisfier.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ImplicFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ImplicFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ImplicitSetSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ImplicitSetSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ListSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ListSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/LogicalVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/LogicalVar.java -------------------------------------------------------------------------------- /src/main/java/blog/model/MapSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/MapSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/MatrixSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/MatrixSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Model.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Model.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ModelEvidenceQueries.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ModelEvidenceQueries.java -------------------------------------------------------------------------------- /src/main/java/blog/model/NegFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/NegFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/NonGuaranteedObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/NonGuaranteedObject.java -------------------------------------------------------------------------------- /src/main/java/blog/model/OriginFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/OriginFunction.java -------------------------------------------------------------------------------- /src/main/java/blog/model/POP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/POP.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Queries.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Queries.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Query.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Query.java -------------------------------------------------------------------------------- /src/main/java/blog/model/RandomFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/RandomFunction.java -------------------------------------------------------------------------------- /src/main/java/blog/model/SkolemConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/SkolemConstant.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Substitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Substitution.java -------------------------------------------------------------------------------- /src/main/java/blog/model/SymbolEvidenceStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/SymbolEvidenceStatement.java -------------------------------------------------------------------------------- /src/main/java/blog/model/SymbolTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/SymbolTerm.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Term.java -------------------------------------------------------------------------------- /src/main/java/blog/model/TrueFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/TrueFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/TupleSetSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/TupleSetSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/model/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/Type.java -------------------------------------------------------------------------------- /src/main/java/blog/model/UniversalFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/UniversalFormula.java -------------------------------------------------------------------------------- /src/main/java/blog/model/ValueEvidenceStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/model/ValueEvidenceStatement.java -------------------------------------------------------------------------------- /src/main/java/blog/msg/ErrorMsg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/msg/ErrorMsg.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/AbstractObjectIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/AbstractObjectIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/AbstractObjectSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/AbstractObjectSet.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/CompiledSetSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/CompiledSetSpec.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/DefaultObjectIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/DefaultObjectIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/DefaultObjectSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/DefaultObjectSet.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/ElementSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/ElementSet.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/GuaranteedNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/GuaranteedNode.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/IntegerNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/IntegerNode.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/Node.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/ObjGenGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/ObjGenGraph.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/ObjectIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/ObjectIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/ObjectSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/ObjectSet.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/OrNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/OrNode.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/POPAppBasedSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/POPAppBasedSet.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/POPNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/POPNode.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/SatisfierIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/SatisfierIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/TermNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/TermNode.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/TimestepNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/TimestepNode.java -------------------------------------------------------------------------------- /src/main/java/blog/objgen/UnfilteredIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/objgen/UnfilteredIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/parse/BLOGLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/parse/BLOGLexer.java -------------------------------------------------------------------------------- /src/main/java/blog/parse/BLOGParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/parse/BLOGParser.java -------------------------------------------------------------------------------- /src/main/java/blog/parse/BLOGTokenConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/parse/BLOGTokenConstants.java -------------------------------------------------------------------------------- /src/main/java/blog/parse/Parse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/parse/Parse.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/AbstractEvidenceLikelihoodWeighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/AbstractEvidenceLikelihoodWeighter.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/AbstractProposer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/AbstractProposer.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/ClassicInstantiatingEvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/ClassicInstantiatingEvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/DefaultEvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/DefaultEvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/DefaultEvidenceLikelihoodWeighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/DefaultEvidenceLikelihoodWeighter.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/EvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/EvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/EvidenceLikelihoodWeighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/EvidenceLikelihoodWeighter.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/GenericProposer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/GenericProposer.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/GibbsSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/GibbsSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/InstantiatingEvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/InstantiatingEvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/IntRegion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/IntRegion.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/LWImportanceSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/LWImportanceSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/LWSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/LWSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/LikelihoodAndWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/LikelihoodAndWeight.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/MHSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/MHSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/ParentRecEvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/ParentRecEvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/Proposer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/Proposer.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/Region.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/Region.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/RejectionSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/RejectionSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/Sampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/Sampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/SimpleInstEvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/SimpleInstEvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/SingletonRegion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/SingletonRegion.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/SymbolEvidenceLikelihoodWeighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/SymbolEvidenceLikelihoodWeighter.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/TupleSetSpecEvidenceLikelihoodWeighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/TupleSetSpecEvidenceLikelihoodWeighter.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/modular/BlockInstantiatingEvalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/modular/BlockInstantiatingEvalContext.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/modular/BlockInstantiatingEvalContextImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/modular/BlockInstantiatingEvalContextImpl.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/modular/DiscreteECSSSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/modular/DiscreteECSSSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/sample/modular/ModularLWSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/sample/modular/ModularLWSampler.java -------------------------------------------------------------------------------- /src/main/java/blog/semant/Semant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/semant/Semant.java -------------------------------------------------------------------------------- /src/main/java/blog/symbol/Symbol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/symbol/Symbol.java -------------------------------------------------------------------------------- /src/main/java/blog/symbol/Table.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/symbol/Table.java -------------------------------------------------------------------------------- /src/main/java/blog/translate/Translator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/translate/Translator.java -------------------------------------------------------------------------------- /src/main/java/blog/type/ARRAY.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/ARRAY.java -------------------------------------------------------------------------------- /src/main/java/blog/type/DOUBLE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/DOUBLE.java -------------------------------------------------------------------------------- /src/main/java/blog/type/INT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/INT.java -------------------------------------------------------------------------------- /src/main/java/blog/type/MAP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/MAP.java -------------------------------------------------------------------------------- /src/main/java/blog/type/NULL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/NULL.java -------------------------------------------------------------------------------- /src/main/java/blog/type/STRING.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/STRING.java -------------------------------------------------------------------------------- /src/main/java/blog/type/Timestep.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/Timestep.java -------------------------------------------------------------------------------- /src/main/java/blog/type/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/type/Type.java -------------------------------------------------------------------------------- /src/main/java/blog/world/AbstractPartialWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/AbstractPartialWorld.java -------------------------------------------------------------------------------- /src/main/java/blog/world/DefaultPartialWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/DefaultPartialWorld.java -------------------------------------------------------------------------------- /src/main/java/blog/world/PartialWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/PartialWorld.java -------------------------------------------------------------------------------- /src/main/java/blog/world/PartialWorldDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/PartialWorldDiff.java -------------------------------------------------------------------------------- /src/main/java/blog/world/UninstVarIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/UninstVarIterator.java -------------------------------------------------------------------------------- /src/main/java/blog/world/WorldDiffListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/WorldDiffListener.java -------------------------------------------------------------------------------- /src/main/java/blog/world/WorldInProgress.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/WorldInProgress.java -------------------------------------------------------------------------------- /src/main/java/blog/world/WorldListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/blog/world/WorldListener.java -------------------------------------------------------------------------------- /src/main/java/ppaml_slam/DynamicsInterp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/ppaml_slam/DynamicsInterp.java -------------------------------------------------------------------------------- /src/main/java/ppaml_slam/DynamicsLogic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/ppaml_slam/DynamicsLogic.java -------------------------------------------------------------------------------- /src/main/java/ppaml_slam/RPC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/java/ppaml_slam/RPC.java -------------------------------------------------------------------------------- /src/main/resources/ppaml_slam/config-fullrun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/resources/ppaml_slam/config-fullrun -------------------------------------------------------------------------------- /src/main/resources/ppaml_slam/config-smoketest: -------------------------------------------------------------------------------- 1 | 10 2 | 20 3 | -------------------------------------------------------------------------------- /src/main/resources/ppaml_slam/v1.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/resources/ppaml_slam/v1.blog -------------------------------------------------------------------------------- /src/main/resources/ppaml_slam/v2.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/resources/ppaml_slam/v2.blog -------------------------------------------------------------------------------- /src/main/resources/ppaml_slam/v3.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/resources/ppaml_slam/v3.blog -------------------------------------------------------------------------------- /src/main/scala/blog/debug/FilterFeeder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/FilterFeeder.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/LWDebugger.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/LWDebugger.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/LWSample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/LWSample.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/MHDebugger.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/MHDebugger.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/MHSample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/MHSample.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/OfflineFilterFeeder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/OfflineFilterFeeder.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/Particle.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/Particle.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/ParticleFilter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/ParticleFilter.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/Sample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/Sample.scala -------------------------------------------------------------------------------- /src/main/scala/blog/debug/SamplerDebugger.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/blog/debug/SamplerDebugger.scala -------------------------------------------------------------------------------- /src/main/scala/iblog.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/iblog.scala -------------------------------------------------------------------------------- /src/main/scala/ppaml_slam/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/ppaml_slam/Main.scala -------------------------------------------------------------------------------- /src/main/scala/ppaml_slam/SlamFeeder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/main/scala/ppaml_slam/SlamFeeder.scala -------------------------------------------------------------------------------- /src/parser/BLOGLexer.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/parser/BLOGLexer.flex -------------------------------------------------------------------------------- /src/parser/BLOGParser.cup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/parser/BLOGParser.cup -------------------------------------------------------------------------------- /src/test/java/test/blog/BenchmarkLogDet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/BenchmarkLogDet.java -------------------------------------------------------------------------------- /src/test/java/test/blog/TestComparison.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/TestComparison.java -------------------------------------------------------------------------------- /src/test/java/test/blog/TestDBLOGUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/TestDBLOGUtil.java -------------------------------------------------------------------------------- /src/test/java/test/blog/TestOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/TestOperator.java -------------------------------------------------------------------------------- /src/test/java/test/blog/common/numerical/TestMatrixLib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/common/numerical/TestMatrixLib.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestBernoulli.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestBernoulli.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestBeta.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestBeta.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestBinomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestBinomial.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestBooleanDistrib.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestBooleanDistrib.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestCategorical.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestCategorical.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestDirichlet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestDirichlet.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestDiscrete.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestDiscrete.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestDistributions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestDistributions.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestExponential.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestExponential.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestGEM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestGEM.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestGamma.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestGamma.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestGeometric.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestGeometric.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestInverseWishart.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestInverseWishart.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestIsotropicMultivarGaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestIsotropicMultivarGaussian.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestMultinomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestMultinomial.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestMultivarGaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestMultivarGaussian.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestNegativeBinomial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestNegativeBinomial.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestPoisson.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestPoisson.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestUniformChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestUniformChoice.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestUniformInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestUniformInt.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestUniformReal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestUniformReal.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestUniformVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestUniformVector.java -------------------------------------------------------------------------------- /src/test/java/test/blog/distrib/TestUnivariateGaussian.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/distrib/TestUnivariateGaussian.java -------------------------------------------------------------------------------- /src/test/java/test/blog/model/TestArgSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/model/TestArgSpec.java -------------------------------------------------------------------------------- /src/test/java/test/blog/model/TestBuiltInFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/model/TestBuiltInFunctions.java -------------------------------------------------------------------------------- /src/test/java/test/blog/model/TestExplicitSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/model/TestExplicitSet.java -------------------------------------------------------------------------------- /src/test/java/test/blog/model/TestTupleSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/model/TestTupleSet.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestArrayType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestArrayType.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestFixed.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestFixed.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestIf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestIf.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestObs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestObs.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestParameter.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestParse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestParse.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/TestType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/TestType.java -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/case.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/case.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/distinctdecl.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/distinctdecl.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/evidence.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/evidence.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/fixedfuncdecl.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/fixedfuncdecl.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/functioncall.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/functioncall.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/mismatchedparens.blog: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/missingsemi.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/missingsemi.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/numberexpr.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/numberexpr.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/numberstmt.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/numberstmt.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/obs.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/obs.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/operationexpr.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/operationexpr.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/originfuncdecl.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/originfuncdecl.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/quantifiedformula.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/quantifiedformula.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/querystmt.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/querystmt.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/parse/error_examples/randfuncdecl.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/parse/error_examples/randfuncdecl.blog -------------------------------------------------------------------------------- /src/test/java/test/blog/sample/modular/ModularLWExperimentOnAircraft.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/blog/sample/modular/ModularLWExperimentOnAircraft.java -------------------------------------------------------------------------------- /src/test/java/test/example/ComputeUrnBall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/ComputeUrnBall.java -------------------------------------------------------------------------------- /src/test/java/test/example/ExampleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/ExampleTest.java -------------------------------------------------------------------------------- /src/test/java/test/example/IncorrectProbException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/IncorrectProbException.java -------------------------------------------------------------------------------- /src/test/java/test/example/TestBurglary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/TestBurglary.java -------------------------------------------------------------------------------- /src/test/java/test/example/TestHurricane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/TestHurricane.java -------------------------------------------------------------------------------- /src/test/java/test/example/TestPoissonBall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/TestPoissonBall.java -------------------------------------------------------------------------------- /src/test/java/test/example/TestSimpleAircraft.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/TestSimpleAircraft.java -------------------------------------------------------------------------------- /src/test/java/test/example/TestWeather.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/example/TestWeather.java -------------------------------------------------------------------------------- /src/test/java/test/ppaml_slam/TestDynamicsLogic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/java/test/ppaml_slam/TestDynamicsLogic.java -------------------------------------------------------------------------------- /src/test/models/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/models/README -------------------------------------------------------------------------------- /src/test/models/explicitset.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/models/explicitset.blog -------------------------------------------------------------------------------- /src/test/models/minmax.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/models/minmax.blog -------------------------------------------------------------------------------- /src/test/models/tupleset.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/src/test/models/tupleset.blog -------------------------------------------------------------------------------- /tools/blog-for-sublime/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog-for-sublime/README.md -------------------------------------------------------------------------------- /tools/blog-for-sublime/blog.YAML-tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog-for-sublime/blog.YAML-tmLanguage -------------------------------------------------------------------------------- /tools/blog-for-sublime/blog.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog-for-sublime/blog.tmLanguage -------------------------------------------------------------------------------- /tools/blog-for-sublime/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog-for-sublime/install.sh -------------------------------------------------------------------------------- /tools/blog.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog.el -------------------------------------------------------------------------------- /tools/blog.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog.vim -------------------------------------------------------------------------------- /tools/blog_py_lexer/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog_py_lexer/README -------------------------------------------------------------------------------- /tools/blog_py_lexer/blog/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/blog_py_lexer/blog/lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog_py_lexer/blog/lexer.py -------------------------------------------------------------------------------- /tools/blog_py_lexer/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/blog_py_lexer/setup.py -------------------------------------------------------------------------------- /tools/error-examples/current/random-fixed/fixed-function.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/random-fixed/fixed-function.blog -------------------------------------------------------------------------------- /tools/error-examples/current/random-fixed/fixed-symbol.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/random-fixed/fixed-symbol.blog -------------------------------------------------------------------------------- /tools/error-examples/current/random-fixed/random-function.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/random-fixed/random-function.blog -------------------------------------------------------------------------------- /tools/error-examples/current/random-fixed/random-symbol.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/random-fixed/random-symbol.blog -------------------------------------------------------------------------------- /tools/error-examples/current/semicolon.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/semicolon.blog -------------------------------------------------------------------------------- /tools/error-examples/current/types/function-missing-argument-type.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/types/function-missing-argument-type.blog -------------------------------------------------------------------------------- /tools/error-examples/current/types/function-missing-fixed-prefix.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/types/function-missing-fixed-prefix.blog -------------------------------------------------------------------------------- /tools/error-examples/current/types/function-missing-type.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/types/function-missing-type.blog -------------------------------------------------------------------------------- /tools/error-examples/current/types/integer-not-string.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/types/integer-not-string.blog -------------------------------------------------------------------------------- /tools/error-examples/current/types/symbol-missing-fixed-prefix.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/current/types/symbol-missing-fixed-prefix.blog -------------------------------------------------------------------------------- /tools/error-examples/current/types/symbol-missing-type.blog: -------------------------------------------------------------------------------- 1 | // The symbol x is missing the return type. 2 | fixed x = exp(3); 3 | -------------------------------------------------------------------------------- /tools/error-examples/wip/distributions/bernoulli_type.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/wip/distributions/bernoulli_type.blog -------------------------------------------------------------------------------- /tools/error-examples/wip/distributions/binomial_type.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/wip/distributions/binomial_type.blog -------------------------------------------------------------------------------- /tools/error-examples/wip/distributions/exponential_type.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/wip/distributions/exponential_type.blog -------------------------------------------------------------------------------- /tools/error-examples/wip/distributions/multinomial_type.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/wip/distributions/multinomial_type.blog -------------------------------------------------------------------------------- /tools/error-examples/wip/distributions/no-squiggle.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/error-examples/wip/distributions/no-squiggle.blog -------------------------------------------------------------------------------- /tools/pretty_print_json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/pretty_print_json.py -------------------------------------------------------------------------------- /tools/testing/docs/integration_test.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/testing/docs/integration_test.md -------------------------------------------------------------------------------- /tools/testing/integration-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/testing/integration-test.sh -------------------------------------------------------------------------------- /tools/testing/run-examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/testing/run-examples.sh -------------------------------------------------------------------------------- /tools/testing/run-incorrect-examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/tools/testing/run-incorrect-examples.sh -------------------------------------------------------------------------------- /web/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/README.md -------------------------------------------------------------------------------- /web/app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/app.py -------------------------------------------------------------------------------- /web/example.blog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/example.blog -------------------------------------------------------------------------------- /web/run_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/run_examples.py -------------------------------------------------------------------------------- /web/start-server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/start-server.sh -------------------------------------------------------------------------------- /web/static/blog/blog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/blog/blog.js -------------------------------------------------------------------------------- /web/static/codemirror.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/codemirror.css -------------------------------------------------------------------------------- /web/static/codemirror.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/codemirror.js -------------------------------------------------------------------------------- /web/static/css/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/css/index.css -------------------------------------------------------------------------------- /web/static/images/BerkeleyLogo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/images/BerkeleyLogo.png -------------------------------------------------------------------------------- /web/static/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/jquery.js -------------------------------------------------------------------------------- /web/static/util/closetag.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/closetag.js -------------------------------------------------------------------------------- /web/static/util/dialog.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/dialog.css -------------------------------------------------------------------------------- /web/static/util/dialog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/dialog.js -------------------------------------------------------------------------------- /web/static/util/foldcode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/foldcode.js -------------------------------------------------------------------------------- /web/static/util/formatting.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/formatting.js -------------------------------------------------------------------------------- /web/static/util/javascript-hint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/javascript-hint.js -------------------------------------------------------------------------------- /web/static/util/loadmode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/loadmode.js -------------------------------------------------------------------------------- /web/static/util/match-highlighter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/match-highlighter.js -------------------------------------------------------------------------------- /web/static/util/multiplex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/multiplex.js -------------------------------------------------------------------------------- /web/static/util/overlay.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/overlay.js -------------------------------------------------------------------------------- /web/static/util/pig-hint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/pig-hint.js -------------------------------------------------------------------------------- /web/static/util/runmode-standalone.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/runmode-standalone.js -------------------------------------------------------------------------------- /web/static/util/runmode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/runmode.js -------------------------------------------------------------------------------- /web/static/util/search.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/search.js -------------------------------------------------------------------------------- /web/static/util/searchcursor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/searchcursor.js -------------------------------------------------------------------------------- /web/static/util/simple-hint.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/simple-hint.css -------------------------------------------------------------------------------- /web/static/util/simple-hint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/simple-hint.js -------------------------------------------------------------------------------- /web/static/util/xml-hint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/static/util/xml-hint.js -------------------------------------------------------------------------------- /web/templates/data.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/templates/data.html -------------------------------------------------------------------------------- /web/templates/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/BayesianLogic/blog/HEAD/web/templates/index.html --------------------------------------------------------------------------------