├── README ├── bin ├── .svn │ ├── all-wcprops │ └── entries └── tuffy │ ├── .svn │ ├── all-wcprops │ └── entries │ ├── db │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── RDB.java.svn-base │ │ │ ├── SQLMan.java.svn-base │ │ │ └── package.html.svn-base │ ├── RDB$1.class │ ├── RDB.class │ ├── SQLMan.class │ └── package.html │ ├── ground │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── package_grounding.jpeg.svn-base │ │ └── text-base │ │ │ ├── Grounding.java.svn-base │ │ │ ├── KBMC.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── package_grounding.jpeg.svn-base │ ├── Grounding.class │ ├── KBMC$AtomCutSet$Stratum.class │ ├── KBMC$AtomCutSet.class │ ├── KBMC.class │ ├── package.html │ ├── package_grounding.jpeg │ └── partition │ │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Bucket.java.svn-base │ │ │ ├── Component.java.svn-base │ │ │ ├── Partition.java.svn-base │ │ │ ├── PartitionScheme.java.svn-base │ │ │ ├── Partitioning.java.svn-base │ │ │ └── package.html.svn-base │ │ ├── Bucket.class │ │ ├── Component.class │ │ ├── Partition.class │ │ ├── PartitionScheme.class │ │ ├── Partitioning.class │ │ └── package.html │ ├── helper │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Stats.java.svn-base │ │ │ └── package.html.svn-base │ ├── Stats$ClauseCostComparator.class │ ├── Stats.class │ └── package.html │ ├── infer │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── package_infer.jpeg.svn-base │ │ └── text-base │ │ │ ├── DataMover.java.svn-base │ │ │ ├── InferBucket.java.svn-base │ │ │ ├── InferComponent.java.svn-base │ │ │ ├── InferPartitioned.java.svn-base │ │ │ ├── MRF.java.svn-base │ │ │ ├── PGInfer.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── package_infer.jpeg.svn-base │ ├── DataMover.class │ ├── InferBucket$CompWorker.class │ ├── InferBucket.class │ ├── InferComponent.class │ ├── InferPartitioned.class │ ├── MRF$1.class │ ├── MRF$2.class │ ├── MRF$INIT_STRATEGY.class │ ├── MRF$myDouble.class │ ├── MRF.class │ ├── PGInfer.class │ ├── ds │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── GAtom.java.svn-base │ │ │ │ ├── GClause.java.svn-base │ │ │ │ ├── KeyBlock.java.svn-base │ │ │ │ └── package.html.svn-base │ │ ├── GAtom.class │ │ ├── GClause.class │ │ ├── KeyBlock.class │ │ └── package.html │ ├── package.html │ └── package_infer.jpeg │ ├── learn │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ ├── MultiCoreSGDLearner.java.svn-base │ │ │ └── SGDLearner.java.svn-base │ │ └── text-base │ │ │ ├── DNLearner.java.svn-base │ │ │ ├── Learner.java.svn-base │ │ │ ├── Main.java.svn-base │ │ │ ├── MultiCoreSGDLearner.java.svn-base │ │ │ ├── NaiveDNLearner.java.svn-base │ │ │ ├── NaiveGDLearner.java.svn-base │ │ │ ├── SGDLearner.java.svn-base │ │ │ └── package.html.svn-base │ ├── DNLearner.class │ ├── Learner.class │ ├── Main.class │ ├── MultiCoreSGDLearner.class │ ├── NaiveDNLearner.class │ ├── NaiveGDLearner.class │ ├── SGDLearner.class │ └── package.html │ ├── main │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Infer.java.svn-base │ │ │ ├── Main.java.svn-base │ │ │ ├── NonPartInfer.java.svn-base │ │ │ ├── PartInfer.java.svn-base │ │ │ └── package.html.svn-base │ ├── Infer.class │ ├── Main.class │ ├── NonPartInfer.class │ ├── PartInfer.class │ └── package.html │ ├── mln │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── package_mln.jpeg.svn-base │ │ └── text-base │ │ │ ├── Atom.java.svn-base │ │ │ ├── Clause.java.svn-base │ │ │ ├── Literal.java.svn-base │ │ │ ├── MarkovLogicNetwork.java.svn-base │ │ │ ├── Predicate.java.svn-base │ │ │ ├── Term.java.svn-base │ │ │ ├── Tuple.java.svn-base │ │ │ ├── Type.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── package_mln.jpeg.svn-base │ ├── Atom$AtomType.class │ ├── Atom.class │ ├── Clause$ClauseInstance.class │ ├── Clause.class │ ├── Literal$VarClique.class │ ├── Literal.class │ ├── MarkovLogicNetwork.class │ ├── Predicate$FunctionalDependency.class │ ├── Predicate.class │ ├── Term.class │ ├── Tuple.class │ ├── Type.class │ ├── package.html │ └── package_mln.jpeg │ ├── parse │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── CommandOptions.java.svn-base │ │ │ ├── Config.g.svn-base │ │ │ ├── Config.tokens.svn-base │ │ │ ├── ConfigLexer.java.svn-base │ │ │ ├── ConfigParser.java.svn-base │ │ │ ├── InputParser.java.svn-base │ │ │ ├── MLN.g.svn-base │ │ │ ├── MLN.tokens.svn-base │ │ │ ├── MLNLexer.java.svn-base │ │ │ ├── MLNParser.java.svn-base │ │ │ └── package.html.svn-base │ ├── CommandOptions$InferDataStore.class │ ├── CommandOptions$MAPInferAlgo.class │ ├── CommandOptions.class │ ├── Config.g │ ├── Config.tokens │ ├── ConfigLexer.class │ ├── ConfigParser$config_return.class │ ├── ConfigParser$state_return.class │ ├── ConfigParser.class │ ├── InputParser.class │ ├── MLN.g │ ├── MLN.tokens │ ├── MLNLexer$DFA21.class │ ├── MLNLexer$DFA23.class │ ├── MLNLexer$DFA8.class │ ├── MLNLexer.class │ ├── MLNParser$DFA1.class │ ├── MLNParser$DFA11.class │ ├── MLNParser$DFA20.class │ ├── MLNParser$DFA24.class │ ├── MLNParser$DFA28.class │ ├── MLNParser$DFA31.class │ ├── MLNParser$DFA32.class │ ├── MLNParser$DFA42.class │ ├── MLNParser$DFA47.class │ ├── MLNParser$atom_return.class │ ├── MLNParser$atomicExpression_return.class │ ├── MLNParser$boolConjunctionElement_return.class │ ├── MLNParser$boolConjunction_return.class │ ├── MLNParser$boolExpression_return.class │ ├── MLNParser$datalogRule_return.class │ ├── MLNParser$definitions_return.class │ ├── MLNParser$evidenceList_return.class │ ├── MLNParser$evidence_return.class │ ├── MLNParser$existQuan_return.class │ ├── MLNParser$expression_return.class │ ├── MLNParser$foclause_return.class │ ├── MLNParser$funcArgument_return.class │ ├── MLNParser$funcExpression_return.class │ ├── MLNParser$functionalAtom_return.class │ ├── MLNParser$functionalDependencyItem_return.class │ ├── MLNParser$functionalDependency_return.class │ ├── MLNParser$hardRule_return.class │ ├── MLNParser$literal_return.class │ ├── MLNParser$mathComparison_return.class │ ├── MLNParser$mathExpression_return.class │ ├── MLNParser$mathFactor_return.class │ ├── MLNParser$mathTerm_return.class │ ├── MLNParser$mlnRule_return.class │ ├── MLNParser$predArg_return.class │ ├── MLNParser$queryCommaList_return.class │ ├── MLNParser$queryList_return.class │ ├── MLNParser$query_return.class │ ├── MLNParser$ruleList_return.class │ ├── MLNParser$schemaConstraint_return.class │ ├── MLNParser$schemaList_return.class │ ├── MLNParser$schema_return.class │ ├── MLNParser$scopingRule_return.class │ ├── MLNParser$softRule_return.class │ ├── MLNParser$term_return.class │ ├── MLNParser.class │ ├── antlr-home │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ └── entries │ │ └── lib │ │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ ├── prop-base │ │ │ │ └── antlr-3.2.jar.svn-base │ │ │ └── text-base │ │ │ │ └── antlr-3.2.jar.svn-base │ │ │ └── antlr-3.2.jar │ └── package.html │ ├── ra │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── AtomEx.java.svn-base │ │ │ ├── ConjunctiveQuery.java.svn-base │ │ │ ├── Expression.java.svn-base │ │ │ ├── Function.java.svn-base │ │ │ └── package.html.svn-base │ ├── AtomEx.class │ ├── ConjunctiveQuery$CLUSTERING_RULE_TYPE.class │ ├── ConjunctiveQuery$StringSet.class │ ├── ConjunctiveQuery.class │ ├── Expression.class │ ├── Function.class │ └── package.html │ ├── sample │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ ├── DS_JunctionTree.java.svn-base │ │ │ ├── MRFSampleAlgorithm.java.svn-base │ │ │ ├── MRFSampleResult.java.svn-base │ │ │ ├── MRFSampleStatistic.java.svn-base │ │ │ ├── MRFSampler.java.svn-base │ │ │ ├── SampleAlgorithm_BruteForceEnumerate.java.svn-base │ │ │ ├── SampleAlgorithm_JunctionTree.java.svn-base │ │ │ ├── SampleAlgorithm_MCSAT.java.svn-base │ │ │ ├── SampleAlgorithm_MetropolisHastingsSampling.java.svn-base │ │ │ ├── SampleAlgorithm_NaiveSampling.java.svn-base │ │ │ ├── SampleAlgorithm_SerialMixture.java.svn-base │ │ │ ├── SampleStatistic_ClauseFreqViolation.java.svn-base │ │ │ ├── SampleStatistic_ClauseLogWeightedViolation.java.svn-base │ │ │ ├── SampleStatistic_WorldFrequency.java.svn-base │ │ │ ├── SampleStatistic_WorldLogWeight.java.svn-base │ │ │ ├── SampleStatistic_WorldSumLogWeight.java.svn-base │ │ │ └── SampleStatistic_Worlds.java.svn-base │ │ └── text-base │ │ │ ├── DS_JunctionTree.java.svn-base │ │ │ ├── MRFSampleAlgorithm.java.svn-base │ │ │ ├── MRFSampleResult.java.svn-base │ │ │ ├── MRFSampleStatistic.java.svn-base │ │ │ ├── MRFSampler.java.svn-base │ │ │ ├── SampleAlgorithm_BruteForceEnumerate.java.svn-base │ │ │ ├── SampleAlgorithm_JunctionTree.java.svn-base │ │ │ ├── SampleAlgorithm_MCSAT.java.svn-base │ │ │ ├── SampleAlgorithm_MetropolisHastingsSampling.java.svn-base │ │ │ ├── SampleAlgorithm_NaiveSampling.java.svn-base │ │ │ ├── SampleAlgorithm_SerialMixture.java.svn-base │ │ │ ├── SampleStatistic_ClauseFreqViolation.java.svn-base │ │ │ ├── SampleStatistic_ClauseLogWeightedViolation.java.svn-base │ │ │ ├── SampleStatistic_WorldFrequency.java.svn-base │ │ │ ├── SampleStatistic_WorldLogWeight.java.svn-base │ │ │ ├── SampleStatistic_WorldSumLogWeight.java.svn-base │ │ │ └── SampleStatistic_Worlds.java.svn-base │ ├── DS_JunctionTree$CORDAL_STRATEGY.class │ ├── DS_JunctionTree$Clique.class │ ├── DS_JunctionTree$Graph.class │ ├── DS_JunctionTree$Node.class │ ├── DS_JunctionTree.class │ ├── MRFSampleAlgorithm.class │ ├── MRFSampleResult.class │ ├── MRFSampleStatistic$StatisticType.class │ ├── MRFSampleStatistic.class │ ├── MRFSampler.class │ ├── SampleAlgorithm_BruteForceEnumerate.class │ ├── SampleAlgorithm_JunctionTree.class │ ├── SampleAlgorithm_MCSAT.class │ ├── SampleAlgorithm_MetropolisHastingsSampling.class │ ├── SampleAlgorithm_NaiveSampling.class │ ├── SampleAlgorithm_SerialMixture.class │ ├── SampleStatistic_ClauseFreqViolation.class │ ├── SampleStatistic_ClauseLogWeightedViolation.class │ ├── SampleStatistic_WorldFrequency.class │ ├── SampleStatistic_WorldLogWeight.class │ ├── SampleStatistic_WorldSumLogWeight.class │ └── SampleStatistic_Worlds.class │ ├── test │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── AtomTest.java.svn-base │ │ │ ├── ClauseTest.java.svn-base │ │ │ ├── ConfigTest.java.svn-base │ │ │ ├── GAtomTest.java.svn-base │ │ │ ├── GClauseTest.java.svn-base │ │ │ ├── GroundingTest.java.svn-base │ │ │ ├── InferenceTest.java.svn-base │ │ │ ├── LearnerTest.java.svn-base │ │ │ ├── LiteralTest.java.svn-base │ │ │ ├── ParsingLoadingTest.java.svn-base │ │ │ ├── PredicateTest.java.svn-base │ │ │ ├── TermTest.java.svn-base │ │ │ ├── TupleTest.java.svn-base │ │ │ ├── TypeTest.java.svn-base │ │ │ └── package.html.svn-base │ ├── AtomTest.class │ ├── ClauseTest.class │ ├── ConfigTest.class │ ├── GAtomTest.class │ ├── GClauseTest.class │ ├── GroundingTest.class │ ├── InferenceTest.class │ ├── InferenceTest.java.stale │ ├── LearnerTest.class │ ├── LiteralTest.class │ ├── ParsingLoadingTest.class │ ├── PredicateTest.class │ ├── TermTest.class │ ├── TupleTest.class │ ├── TypeTest.class │ └── package.html │ ├── util │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ ├── Enumerator.java.svn-base │ │ │ └── myDouble.java.svn-base │ │ └── text-base │ │ │ ├── BatMan.java.svn-base │ │ │ ├── BitSetDoublePair.java.svn-base │ │ │ ├── BitSetIntPair.java.svn-base │ │ │ ├── BoundHashList.java.svn-base │ │ │ ├── Config.java.svn-base │ │ │ ├── DebugMan.java.svn-base │ │ │ ├── Enumerator.java.svn-base │ │ │ ├── ExceptionMan.java.svn-base │ │ │ ├── FileMan.java.svn-base │ │ │ ├── HashArray.java.svn-base │ │ │ ├── IronMan.java.svn-base │ │ │ ├── MathMan.java.svn-base │ │ │ ├── PlotMan.java.svn-base │ │ │ ├── ProbMan.java.svn-base │ │ │ ├── Settings.java.svn-base │ │ │ ├── SpiderMan.java.svn-base │ │ │ ├── StringMan.java.svn-base │ │ │ ├── SuperMan.java.svn-base │ │ │ ├── Timer.java.svn-base │ │ │ ├── TuffyThrownError.java.svn-base │ │ │ ├── UIMan.java.svn-base │ │ │ ├── UnionFind.java.svn-base │ │ │ ├── myDouble.java.svn-base │ │ │ ├── myInt.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── runAllTestCases.java.svn-base │ ├── BatMan.class │ ├── BitSetDoublePair.class │ ├── BitSetIntPair.class │ ├── BoundHashList.class │ ├── Config$MCSAT_OUTPUT_TUPLE_ORDER.class │ ├── Config$TUFFY_INFERENCE_TASK.class │ ├── Config.class │ ├── DebugMan.class │ ├── Enumerator.class │ ├── ExceptionMan.class │ ├── FileMan.class │ ├── HashArray.class │ ├── IronMan.class │ ├── MathMan.class │ ├── PlotMan$TCPair.class │ ├── PlotMan.class │ ├── ProbMan.class │ ├── Settings.class │ ├── SpiderMan.class │ ├── StringMan.class │ ├── SuperMan.class │ ├── Timer$RunStat.class │ ├── Timer.class │ ├── TuffyThrownError.class │ ├── UIMan.class │ ├── UnionFind$Record.class │ ├── UnionFind.class │ ├── myDouble.class │ ├── myInt.class │ ├── package.html │ └── runAllTestCases.class │ └── worker │ ├── .svn │ ├── all-wcprops │ ├── entries │ ├── prop-base │ │ ├── MLEWorker.java.svn-base │ │ ├── MLEWorkerInstance.java.svn-base │ │ ├── MLEWorker_gibbsSampler.java.svn-base │ │ ├── MLEWorker_sgdWorker.java.svn-base │ │ └── Worker.java.svn-base │ └── text-base │ │ ├── MLEWorker.java.svn-base │ │ ├── MLEWorkerInstance.java.svn-base │ │ ├── MLEWorker_gibbsSampler.java.svn-base │ │ ├── MLEWorker_sgdWorker.java.svn-base │ │ └── Worker.java.svn-base │ ├── MLEWorker.class │ ├── MLEWorkerInstance$1.class │ ├── MLEWorkerInstance.class │ ├── MLEWorker_gibbsSampler$1.class │ ├── MLEWorker_gibbsSampler.class │ ├── MLEWorker_sgdWorker$myDouble.class │ ├── MLEWorker_sgdWorker.class │ ├── Worker.class │ └── ds │ ├── .svn │ ├── all-wcprops │ ├── entries │ ├── prop-base │ │ └── MLEWorld.java.svn-base │ └── text-base │ │ └── MLEWorld.java.svn-base │ └── MLEWorld.class ├── doc ├── .svn │ ├── all-wcprops │ ├── entries │ └── text-base │ │ ├── allclasses-frame.html.svn-base │ │ ├── allclasses-noframe.html.svn-base │ │ ├── constant-values.html.svn-base │ │ ├── deprecated-list.html.svn-base │ │ ├── help-doc.html.svn-base │ │ ├── index.html.svn-base │ │ ├── overview-frame.html.svn-base │ │ ├── overview-summary.html.svn-base │ │ ├── overview-tree.html.svn-base │ │ ├── package-list.svn-base │ │ ├── serialized-form.html.svn-base │ │ └── stylesheet.css.svn-base ├── allclasses-frame.html ├── allclasses-noframe.html ├── constant-values.html ├── db │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── BDB.html.svn-base │ │ │ ├── RDB.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── BDB.html │ ├── RDB.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── BDB.html.svn-base │ │ │ │ └── RDB.html.svn-base │ │ ├── BDB.html │ │ └── RDB.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── deprecated-list.html ├── exp │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── CoraCleaner.html.svn-base │ │ │ ├── CoraParser.html.svn-base │ │ │ ├── KBProcessor.html.svn-base │ │ │ ├── LogParser.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── CoraCleaner.html │ ├── CoraParser.html │ ├── KBProcessor.html │ ├── LogParser.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── CoraCleaner.html.svn-base │ │ │ │ ├── CoraParser.html.svn-base │ │ │ │ ├── KBProcessor.html.svn-base │ │ │ │ └── LogParser.html.svn-base │ │ ├── CoraCleaner.html │ │ ├── CoraParser.html │ │ ├── KBProcessor.html │ │ └── LogParser.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── grammar │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── InputParser.html.svn-base │ │ │ ├── mlnLexer.html.svn-base │ │ │ ├── mlnParser.atom_return.html.svn-base │ │ │ ├── mlnParser.definitions_return.html.svn-base │ │ │ ├── mlnParser.evidenceList_return.html.svn-base │ │ │ ├── mlnParser.evidence_return.html.svn-base │ │ │ ├── mlnParser.existQuan_return.html.svn-base │ │ │ ├── mlnParser.foclause_return.html.svn-base │ │ │ ├── mlnParser.hardRule_return.html.svn-base │ │ │ ├── mlnParser.html.svn-base │ │ │ ├── mlnParser.literal_return.html.svn-base │ │ │ ├── mlnParser.queryList_return.html.svn-base │ │ │ ├── mlnParser.query_return.html.svn-base │ │ │ ├── mlnParser.ruleList_return.html.svn-base │ │ │ ├── mlnParser.schemaList_return.html.svn-base │ │ │ ├── mlnParser.schema_return.html.svn-base │ │ │ ├── mlnParser.softRule_return.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── InputParser.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── InputParser.html.svn-base │ │ │ │ ├── mlnLexer.html.svn-base │ │ │ │ ├── mlnParser.atom_return.html.svn-base │ │ │ │ ├── mlnParser.definitions_return.html.svn-base │ │ │ │ ├── mlnParser.evidenceList_return.html.svn-base │ │ │ │ ├── mlnParser.evidence_return.html.svn-base │ │ │ │ ├── mlnParser.existQuan_return.html.svn-base │ │ │ │ ├── mlnParser.foclause_return.html.svn-base │ │ │ │ ├── mlnParser.hardRule_return.html.svn-base │ │ │ │ ├── mlnParser.html.svn-base │ │ │ │ ├── mlnParser.literal_return.html.svn-base │ │ │ │ ├── mlnParser.queryList_return.html.svn-base │ │ │ │ ├── mlnParser.query_return.html.svn-base │ │ │ │ ├── mlnParser.ruleList_return.html.svn-base │ │ │ │ ├── mlnParser.schemaList_return.html.svn-base │ │ │ │ ├── mlnParser.schema_return.html.svn-base │ │ │ │ └── mlnParser.softRule_return.html.svn-base │ │ ├── InputParser.html │ │ ├── mlnLexer.html │ │ ├── mlnParser.atom_return.html │ │ ├── mlnParser.definitions_return.html │ │ ├── mlnParser.evidenceList_return.html │ │ ├── mlnParser.evidence_return.html │ │ ├── mlnParser.existQuan_return.html │ │ ├── mlnParser.foclause_return.html │ │ ├── mlnParser.hardRule_return.html │ │ ├── mlnParser.html │ │ ├── mlnParser.literal_return.html │ │ ├── mlnParser.queryList_return.html │ │ ├── mlnParser.query_return.html │ │ ├── mlnParser.ruleList_return.html │ │ ├── mlnParser.schemaList_return.html │ │ ├── mlnParser.schema_return.html │ │ └── mlnParser.softRule_return.html │ ├── mlnLexer.html │ ├── mlnParser.atom_return.html │ ├── mlnParser.definitions_return.html │ ├── mlnParser.evidenceList_return.html │ ├── mlnParser.evidence_return.html │ ├── mlnParser.existQuan_return.html │ ├── mlnParser.foclause_return.html │ ├── mlnParser.hardRule_return.html │ ├── mlnParser.html │ ├── mlnParser.literal_return.html │ ├── mlnParser.queryList_return.html │ ├── mlnParser.query_return.html │ ├── mlnParser.ruleList_return.html │ ├── mlnParser.schemaList_return.html │ ├── mlnParser.schema_return.html │ ├── mlnParser.softRule_return.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── grounding │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Grounding.html.svn-base │ │ │ ├── KBMC.AtomCutSet.Stratum.html.svn-base │ │ │ ├── KBMC.AtomCutSet.html.svn-base │ │ │ ├── KBMC.html.svn-base │ │ │ ├── LazyGrounding.html.svn-base │ │ │ ├── Partitioning.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── Grounding.html │ ├── KBMC.AtomCutSet.Stratum.html │ ├── KBMC.AtomCutSet.html │ ├── KBMC.html │ ├── LazyGrounding.html │ ├── Partitioning.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Grounding.html.svn-base │ │ │ │ ├── KBMC.AtomCutSet.Stratum.html.svn-base │ │ │ │ ├── KBMC.AtomCutSet.html.svn-base │ │ │ │ ├── KBMC.html.svn-base │ │ │ │ ├── LazyGrounding.html.svn-base │ │ │ │ └── Partitioning.html.svn-base │ │ ├── Grounding.html │ │ ├── KBMC.AtomCutSet.Stratum.html │ │ ├── KBMC.AtomCutSet.html │ │ ├── KBMC.html │ │ ├── LazyGrounding.html │ │ └── Partitioning.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── help-doc.html ├── index-files │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── index-1.html.svn-base │ │ │ ├── index-10.html.svn-base │ │ │ ├── index-11.html.svn-base │ │ │ ├── index-12.html.svn-base │ │ │ ├── index-13.html.svn-base │ │ │ ├── index-14.html.svn-base │ │ │ ├── index-15.html.svn-base │ │ │ ├── index-16.html.svn-base │ │ │ ├── index-17.html.svn-base │ │ │ ├── index-18.html.svn-base │ │ │ ├── index-19.html.svn-base │ │ │ ├── index-2.html.svn-base │ │ │ ├── index-20.html.svn-base │ │ │ ├── index-21.html.svn-base │ │ │ ├── index-22.html.svn-base │ │ │ ├── index-23.html.svn-base │ │ │ ├── index-24.html.svn-base │ │ │ ├── index-25.html.svn-base │ │ │ ├── index-3.html.svn-base │ │ │ ├── index-4.html.svn-base │ │ │ ├── index-5.html.svn-base │ │ │ ├── index-6.html.svn-base │ │ │ ├── index-7.html.svn-base │ │ │ ├── index-8.html.svn-base │ │ │ └── index-9.html.svn-base │ ├── index-1.html │ ├── index-10.html │ ├── index-11.html │ ├── index-12.html │ ├── index-13.html │ ├── index-14.html │ ├── index-15.html │ ├── index-16.html │ ├── index-17.html │ ├── index-18.html │ ├── index-19.html │ ├── index-2.html │ ├── index-20.html │ ├── index-21.html │ ├── index-22.html │ ├── index-23.html │ ├── index-24.html │ ├── index-25.html │ ├── index-3.html │ ├── index-4.html │ ├── index-5.html │ ├── index-6.html │ ├── index-7.html │ ├── index-8.html │ └── index-9.html ├── index.html ├── infer │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── BDBAtomEntry.html.svn-base │ │ │ ├── BDBClauseEntry.html.svn-base │ │ │ ├── BDBMCSAT.html.svn-base │ │ │ ├── BDBStore.AtomBinding.html.svn-base │ │ │ ├── BDBStore.AtomEntry.html.svn-base │ │ │ ├── BDBStore.BitBinding.html.svn-base │ │ │ ├── BDBStore.BitEntry.html.svn-base │ │ │ ├── BDBStore.ClauseType.ClauseBinding.html.svn-base │ │ │ ├── BDBStore.ClauseType.ClauseEntry.html.svn-base │ │ │ ├── BDBStore.ClauseType.LiteralKeyCreator.html.svn-base │ │ │ ├── BDBStore.ClauseType.html.svn-base │ │ │ ├── BDBStore.html.svn-base │ │ │ ├── BDBSweepSAT.html.svn-base │ │ │ ├── BDBWalkSAT.html.svn-base │ │ │ ├── Component.BufferState.html.svn-base │ │ │ ├── Component.html.svn-base │ │ │ ├── Infer.html.svn-base │ │ │ ├── InferDual.html.svn-base │ │ │ ├── InferMAP.html.svn-base │ │ │ ├── InferMarginal.html.svn-base │ │ │ ├── MCSAT.html.svn-base │ │ │ ├── MRF.html.svn-base │ │ │ ├── MZone.CompThread.html.svn-base │ │ │ ├── MZone.html.svn-base │ │ │ ├── Main.html.svn-base │ │ │ ├── PGInfer.html.svn-base │ │ │ ├── PSQLSweepSAT.html.svn-base │ │ │ ├── PSQLWalkSAT.html.svn-base │ │ │ ├── PartInfer.html.svn-base │ │ │ ├── PartMap.html.svn-base │ │ │ ├── Partition.html.svn-base │ │ │ ├── Stats.ClauseCostComparator.html.svn-base │ │ │ ├── Stats.html.svn-base │ │ │ ├── SweepSAT.html.svn-base │ │ │ ├── TestPartTradeoff.html.svn-base │ │ │ ├── WalkSAT.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── BDBAtomEntry.html │ ├── BDBClauseEntry.html │ ├── BDBMCSAT.html │ ├── BDBStore.AtomBinding.html │ ├── BDBStore.AtomEntry.html │ ├── BDBStore.BitBinding.html │ ├── BDBStore.BitEntry.html │ ├── BDBStore.ClauseType.ClauseBinding.html │ ├── BDBStore.ClauseType.ClauseEntry.html │ ├── BDBStore.ClauseType.LiteralKeyCreator.html │ ├── BDBStore.ClauseType.html │ ├── BDBStore.html │ ├── BDBSweepSAT.html │ ├── BDBWalkSAT.html │ ├── Component.BufferState.html │ ├── Component.html │ ├── Infer.html │ ├── InferDual.html │ ├── InferMAP.html │ ├── InferMarginal.html │ ├── MCSAT.html │ ├── MRF.html │ ├── MZone.CompThread.html │ ├── MZone.html │ ├── Main.html │ ├── PGInfer.html │ ├── PSQLSweepSAT.html │ ├── PSQLWalkSAT.html │ ├── PartInfer.html │ ├── PartMap.html │ ├── Partition.html │ ├── Stats.ClauseCostComparator.html │ ├── Stats.html │ ├── SweepSAT.html │ ├── TestPartTradeoff.html │ ├── WalkSAT.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── BDBAtomEntry.html.svn-base │ │ │ │ ├── BDBClauseEntry.html.svn-base │ │ │ │ ├── BDBMCSAT.html.svn-base │ │ │ │ ├── BDBStore.AtomBinding.html.svn-base │ │ │ │ ├── BDBStore.AtomEntry.html.svn-base │ │ │ │ ├── BDBStore.BitBinding.html.svn-base │ │ │ │ ├── BDBStore.BitEntry.html.svn-base │ │ │ │ ├── BDBStore.ClauseType.ClauseBinding.html.svn-base │ │ │ │ ├── BDBStore.ClauseType.ClauseEntry.html.svn-base │ │ │ │ ├── BDBStore.ClauseType.LiteralKeyCreator.html.svn-base │ │ │ │ ├── BDBStore.ClauseType.html.svn-base │ │ │ │ ├── BDBStore.html.svn-base │ │ │ │ ├── BDBSweepSAT.html.svn-base │ │ │ │ ├── BDBWalkSAT.html.svn-base │ │ │ │ ├── Component.BufferState.html.svn-base │ │ │ │ ├── Component.html.svn-base │ │ │ │ ├── Infer.html.svn-base │ │ │ │ ├── InferDual.html.svn-base │ │ │ │ ├── InferMAP.html.svn-base │ │ │ │ ├── InferMarginal.html.svn-base │ │ │ │ ├── MCSAT.html.svn-base │ │ │ │ ├── MRF.html.svn-base │ │ │ │ ├── MZone.CompThread.html.svn-base │ │ │ │ ├── MZone.html.svn-base │ │ │ │ ├── Main.html.svn-base │ │ │ │ ├── PGInfer.html.svn-base │ │ │ │ ├── PSQLSweepSAT.html.svn-base │ │ │ │ ├── PSQLWalkSAT.html.svn-base │ │ │ │ ├── PartInfer.html.svn-base │ │ │ │ ├── PartMap.html.svn-base │ │ │ │ ├── Partition.html.svn-base │ │ │ │ ├── Stats.ClauseCostComparator.html.svn-base │ │ │ │ ├── Stats.html.svn-base │ │ │ │ ├── SweepSAT.html.svn-base │ │ │ │ ├── TestPartTradeoff.html.svn-base │ │ │ │ └── WalkSAT.html.svn-base │ │ ├── BDBAtomEntry.html │ │ ├── BDBClauseEntry.html │ │ ├── BDBMCSAT.html │ │ ├── BDBStore.AtomBinding.html │ │ ├── BDBStore.AtomEntry.html │ │ ├── BDBStore.BitBinding.html │ │ ├── BDBStore.BitEntry.html │ │ ├── BDBStore.ClauseType.ClauseBinding.html │ │ ├── BDBStore.ClauseType.ClauseEntry.html │ │ ├── BDBStore.ClauseType.LiteralKeyCreator.html │ │ ├── BDBStore.ClauseType.html │ │ ├── BDBStore.html │ │ ├── BDBSweepSAT.html │ │ ├── BDBWalkSAT.html │ │ ├── Component.BufferState.html │ │ ├── Component.html │ │ ├── Infer.html │ │ ├── InferDual.html │ │ ├── InferMAP.html │ │ ├── InferMarginal.html │ │ ├── MCSAT.html │ │ ├── MRF.html │ │ ├── MZone.CompThread.html │ │ ├── MZone.html │ │ ├── Main.html │ │ ├── PGInfer.html │ │ ├── PSQLSweepSAT.html │ │ ├── PSQLWalkSAT.html │ │ ├── PartInfer.html │ │ ├── PartMap.html │ │ ├── Partition.html │ │ ├── Stats.ClauseCostComparator.html │ │ ├── Stats.html │ │ ├── SweepSAT.html │ │ ├── TestPartTradeoff.html │ │ └── WalkSAT.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── learn │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── BetterDNLearner.html.svn-base │ │ │ ├── DNLearner.html.svn-base │ │ │ ├── Learner.html.svn-base │ │ │ ├── Main.html.svn-base │ │ │ ├── NaiveDNLearner.html.svn-base │ │ │ ├── NaiveGDLearner.html.svn-base │ │ │ ├── WeightLearner.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── BetterDNLearner.html │ ├── DNLearner.html │ ├── Learner.html │ ├── Main.html │ ├── NaiveDNLearner.html │ ├── NaiveGDLearner.html │ ├── WeightLearner.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── BetterDNLearner.html.svn-base │ │ │ │ ├── DNLearner.html.svn-base │ │ │ │ ├── Learner.html.svn-base │ │ │ │ ├── Main.html.svn-base │ │ │ │ ├── NaiveDNLearner.html.svn-base │ │ │ │ ├── NaiveGDLearner.html.svn-base │ │ │ │ └── WeightLearner.html.svn-base │ │ ├── BetterDNLearner.html │ │ ├── DNLearner.html │ │ ├── Learner.html │ │ ├── Main.html │ │ ├── NaiveDNLearner.html │ │ ├── NaiveGDLearner.html │ │ └── WeightLearner.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── mln │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Atom.AtomType.html.svn-base │ │ │ ├── Atom.PType.html.svn-base │ │ │ ├── Atom.html.svn-base │ │ │ ├── AtomCutSet.html.svn-base │ │ │ ├── AtomEx.html.svn-base │ │ │ ├── AtomTuple.html.svn-base │ │ │ ├── Clause.ClauseInstance.html.svn-base │ │ │ ├── Clause.html.svn-base │ │ │ ├── ClauseNormalizerTest.html.svn-base │ │ │ ├── ConjunctiveQuery.html.svn-base │ │ │ ├── Expression.html.svn-base │ │ │ ├── Function.html.svn-base │ │ │ ├── GAtom.html.svn-base │ │ │ ├── GClause.html.svn-base │ │ │ ├── InferBDB.AtomBinding.html.svn-base │ │ │ ├── InferBDB.AtomEntry.html.svn-base │ │ │ ├── InferBDB.ClauseType.ClauseBinding.html.svn-base │ │ │ ├── InferBDB.ClauseType.ClauseEntry.html.svn-base │ │ │ ├── InferBDB.ClauseType.html.svn-base │ │ │ ├── InferBDB.html.svn-base │ │ │ ├── KBMC.html.svn-base │ │ │ ├── KBMCL.html.svn-base │ │ │ ├── LazySAT.html.svn-base │ │ │ ├── Literal.VarClique.html.svn-base │ │ │ ├── Literal.html.svn-base │ │ │ ├── MarkovLogic.html.svn-base │ │ │ ├── MarkovLogicNetwork.html.svn-base │ │ │ ├── MaxWalkSAT.html.svn-base │ │ │ ├── Predicate.FunctionalDependency.html.svn-base │ │ │ ├── Predicate.html.svn-base │ │ │ ├── Term.html.svn-base │ │ │ ├── Tuple.html.svn-base │ │ │ ├── Type.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── Atom.AtomType.html │ ├── Atom.PType.html │ ├── Atom.html │ ├── AtomCutSet.html │ ├── AtomEx.html │ ├── AtomTuple.html │ ├── Clause.ClauseInstance.html │ ├── Clause.html │ ├── ClauseNormalizerTest.html │ ├── ConjunctiveQuery.html │ ├── Expression.html │ ├── Function.html │ ├── GAtom.html │ ├── GClause.html │ ├── InferBDB.AtomBinding.html │ ├── InferBDB.AtomEntry.html │ ├── InferBDB.ClauseType.ClauseBinding.html │ ├── InferBDB.ClauseType.ClauseEntry.html │ ├── InferBDB.ClauseType.html │ ├── InferBDB.html │ ├── KBMC.html │ ├── KBMCL.html │ ├── LazySAT.html │ ├── Literal.VarClique.html │ ├── Literal.html │ ├── MarkovLogic.html │ ├── MarkovLogicNetwork.html │ ├── MaxWalkSAT.html │ ├── Predicate.FunctionalDependency.html │ ├── Predicate.html │ ├── Term.html │ ├── Tuple.html │ ├── Type.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Atom.AtomType.html.svn-base │ │ │ │ ├── Atom.PType.html.svn-base │ │ │ │ ├── Atom.html.svn-base │ │ │ │ ├── AtomCutSet.html.svn-base │ │ │ │ ├── AtomEx.html.svn-base │ │ │ │ ├── AtomTuple.html.svn-base │ │ │ │ ├── Clause.ClauseInstance.html.svn-base │ │ │ │ ├── Clause.html.svn-base │ │ │ │ ├── ClauseNormalizerTest.html.svn-base │ │ │ │ ├── ConjunctiveQuery.html.svn-base │ │ │ │ ├── Expression.html.svn-base │ │ │ │ ├── Function.html.svn-base │ │ │ │ ├── GAtom.html.svn-base │ │ │ │ ├── GClause.html.svn-base │ │ │ │ ├── InferBDB.AtomBinding.html.svn-base │ │ │ │ ├── InferBDB.AtomEntry.html.svn-base │ │ │ │ ├── InferBDB.ClauseType.ClauseBinding.html.svn-base │ │ │ │ ├── InferBDB.ClauseType.ClauseEntry.html.svn-base │ │ │ │ ├── InferBDB.ClauseType.html.svn-base │ │ │ │ ├── InferBDB.html.svn-base │ │ │ │ ├── KBMC.html.svn-base │ │ │ │ ├── KBMCL.html.svn-base │ │ │ │ ├── LazySAT.html.svn-base │ │ │ │ ├── Literal.VarClique.html.svn-base │ │ │ │ ├── Literal.html.svn-base │ │ │ │ ├── MarkovLogic.html.svn-base │ │ │ │ ├── MarkovLogicNetwork.html.svn-base │ │ │ │ ├── MaxWalkSAT.html.svn-base │ │ │ │ ├── Predicate.FunctionalDependency.html.svn-base │ │ │ │ ├── Predicate.html.svn-base │ │ │ │ ├── Term.html.svn-base │ │ │ │ ├── Tuple.html.svn-base │ │ │ │ └── Type.html.svn-base │ │ ├── Atom.AtomType.html │ │ ├── Atom.PType.html │ │ ├── Atom.html │ │ ├── AtomCutSet.html │ │ ├── AtomEx.html │ │ ├── AtomTuple.html │ │ ├── Clause.ClauseInstance.html │ │ ├── Clause.html │ │ ├── ClauseNormalizerTest.html │ │ ├── ConjunctiveQuery.html │ │ ├── Expression.html │ │ ├── Function.html │ │ ├── GAtom.html │ │ ├── GClause.html │ │ ├── InferBDB.AtomBinding.html │ │ ├── InferBDB.AtomEntry.html │ │ ├── InferBDB.ClauseType.ClauseBinding.html │ │ ├── InferBDB.ClauseType.ClauseEntry.html │ │ ├── InferBDB.ClauseType.html │ │ ├── InferBDB.html │ │ ├── KBMC.html │ │ ├── KBMCL.html │ │ ├── LazySAT.html │ │ ├── Literal.VarClique.html │ │ ├── Literal.html │ │ ├── MarkovLogic.html │ │ ├── MarkovLogicNetwork.html │ │ ├── MaxWalkSAT.html │ │ ├── Predicate.FunctionalDependency.html │ │ ├── Predicate.html │ │ ├── Term.html │ │ ├── Tuple.html │ │ └── Type.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── overview-frame.html ├── overview-summary.html ├── overview-tree.html ├── package-list ├── parser │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── CommandOptions.InferDataStore.html.svn-base │ │ │ ├── CommandOptions.MAPInferAlgo.html.svn-base │ │ │ ├── CommandOptions.html.svn-base │ │ │ ├── ConfigLexer.DFA15.html.svn-base │ │ │ ├── ConfigLexer.DFA2.html.svn-base │ │ │ ├── ConfigLexer.DFA20.html.svn-base │ │ │ ├── ConfigLexer.html.svn-base │ │ │ ├── ConfigParser.config_return.html.svn-base │ │ │ ├── ConfigParser.html.svn-base │ │ │ ├── ConfigParser.state_return.html.svn-base │ │ │ ├── ConfigParser.value_return.html.svn-base │ │ │ ├── InputParser.html.svn-base │ │ │ ├── InputParserTest.html.svn-base │ │ │ ├── MLNLexer.DFA23.html.svn-base │ │ │ ├── MLNLexer.DFA8.html.svn-base │ │ │ ├── MLNLexer.html.svn-base │ │ │ ├── MLNParser.DFA11.html.svn-base │ │ │ ├── MLNParser.DFA14.html.svn-base │ │ │ ├── MLNParser.DFA15.html.svn-base │ │ │ ├── MLNParser.DFA25.html.svn-base │ │ │ ├── MLNParser.DFA30.html.svn-base │ │ │ ├── MLNParser.DFA4.html.svn-base │ │ │ ├── MLNParser.atom_return.html.svn-base │ │ │ ├── MLNParser.atomicExpression_return.html.svn-base │ │ │ ├── MLNParser.boolConjunctionElement_return.html.svn-base │ │ │ ├── MLNParser.boolConjunction_return.html.svn-base │ │ │ ├── MLNParser.boolExpression_return.html.svn-base │ │ │ ├── MLNParser.datalogRule_return.html.svn-base │ │ │ ├── MLNParser.definitions_return.html.svn-base │ │ │ ├── MLNParser.evidenceList_return.html.svn-base │ │ │ ├── MLNParser.evidence_return.html.svn-base │ │ │ ├── MLNParser.existQuan_return.html.svn-base │ │ │ ├── MLNParser.expression_return.html.svn-base │ │ │ ├── MLNParser.foclause_return.html.svn-base │ │ │ ├── MLNParser.funcArgument_return.html.svn-base │ │ │ ├── MLNParser.funcExpression_return.html.svn-base │ │ │ ├── MLNParser.functionalAtom_return.html.svn-base │ │ │ ├── MLNParser.functionalDependencyItem_return.html.svn-base │ │ │ ├── MLNParser.functionalDependency_return.html.svn-base │ │ │ ├── MLNParser.hardRule_return.html.svn-base │ │ │ ├── MLNParser.html.svn-base │ │ │ ├── MLNParser.literal_return.html.svn-base │ │ │ ├── MLNParser.mathComparison_return.html.svn-base │ │ │ ├── MLNParser.mathExpression_return.html.svn-base │ │ │ ├── MLNParser.mathFactor_return.html.svn-base │ │ │ ├── MLNParser.mathTerm_return.html.svn-base │ │ │ ├── MLNParser.mlnRule_return.html.svn-base │ │ │ ├── MLNParser.predArg_return.html.svn-base │ │ │ ├── MLNParser.queryCommaList_return.html.svn-base │ │ │ ├── MLNParser.queryList_return.html.svn-base │ │ │ ├── MLNParser.query_return.html.svn-base │ │ │ ├── MLNParser.ruleList_return.html.svn-base │ │ │ ├── MLNParser.schemaConstraint_return.html.svn-base │ │ │ ├── MLNParser.schemaList_return.html.svn-base │ │ │ ├── MLNParser.schema_return.html.svn-base │ │ │ ├── MLNParser.scopingRule_return.html.svn-base │ │ │ ├── MLNParser.softRule_return.html.svn-base │ │ │ ├── MLNParser.term_return.html.svn-base │ │ │ ├── mlnLexer.DFA1.html.svn-base │ │ │ ├── mlnLexer.DFA14.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── CommandOptions.InferDataStore.html │ ├── CommandOptions.MAPInferAlgo.html │ ├── CommandOptions.html │ ├── ConfigLexer.DFA15.html │ ├── ConfigLexer.DFA2.html │ ├── ConfigLexer.DFA20.html │ ├── ConfigLexer.html │ ├── ConfigParser.config_return.html │ ├── ConfigParser.html │ ├── ConfigParser.state_return.html │ ├── ConfigParser.value_return.html │ ├── InputParser.html │ ├── InputParserTest.html │ ├── MLNLexer.DFA23.html │ ├── MLNLexer.DFA8.html │ ├── MLNLexer.html │ ├── MLNParser.DFA11.html │ ├── MLNParser.DFA14.html │ ├── MLNParser.DFA15.html │ ├── MLNParser.DFA25.html │ ├── MLNParser.DFA30.html │ ├── MLNParser.DFA4.html │ ├── MLNParser.atom_return.html │ ├── MLNParser.atomicExpression_return.html │ ├── MLNParser.boolConjunctionElement_return.html │ ├── MLNParser.boolConjunction_return.html │ ├── MLNParser.boolExpression_return.html │ ├── MLNParser.datalogRule_return.html │ ├── MLNParser.definitions_return.html │ ├── MLNParser.evidenceList_return.html │ ├── MLNParser.evidence_return.html │ ├── MLNParser.existQuan_return.html │ ├── MLNParser.expression_return.html │ ├── MLNParser.foclause_return.html │ ├── MLNParser.funcArgument_return.html │ ├── MLNParser.funcExpression_return.html │ ├── MLNParser.functionalAtom_return.html │ ├── MLNParser.functionalDependencyItem_return.html │ ├── MLNParser.functionalDependency_return.html │ ├── MLNParser.hardRule_return.html │ ├── MLNParser.html │ ├── MLNParser.literal_return.html │ ├── MLNParser.mathComparison_return.html │ ├── MLNParser.mathExpression_return.html │ ├── MLNParser.mathFactor_return.html │ ├── MLNParser.mathTerm_return.html │ ├── MLNParser.mlnRule_return.html │ ├── MLNParser.predArg_return.html │ ├── MLNParser.queryCommaList_return.html │ ├── MLNParser.queryList_return.html │ ├── MLNParser.query_return.html │ ├── MLNParser.ruleList_return.html │ ├── MLNParser.schemaConstraint_return.html │ ├── MLNParser.schemaList_return.html │ ├── MLNParser.schema_return.html │ ├── MLNParser.scopingRule_return.html │ ├── MLNParser.softRule_return.html │ ├── MLNParser.term_return.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── CommandOptions.InferDataStore.html.svn-base │ │ │ │ ├── CommandOptions.MAPInferAlgo.html.svn-base │ │ │ │ ├── CommandOptions.html.svn-base │ │ │ │ ├── ConfigLexer.DFA15.html.svn-base │ │ │ │ ├── ConfigLexer.DFA2.html.svn-base │ │ │ │ ├── ConfigLexer.DFA20.html.svn-base │ │ │ │ ├── ConfigLexer.html.svn-base │ │ │ │ ├── ConfigParser.config_return.html.svn-base │ │ │ │ ├── ConfigParser.html.svn-base │ │ │ │ ├── ConfigParser.state_return.html.svn-base │ │ │ │ ├── ConfigParser.value_return.html.svn-base │ │ │ │ ├── InputParser.html.svn-base │ │ │ │ ├── InputParserTest.html.svn-base │ │ │ │ ├── MLNLexer.DFA23.html.svn-base │ │ │ │ ├── MLNLexer.DFA8.html.svn-base │ │ │ │ ├── MLNLexer.html.svn-base │ │ │ │ ├── MLNParser.DFA11.html.svn-base │ │ │ │ ├── MLNParser.DFA14.html.svn-base │ │ │ │ ├── MLNParser.DFA15.html.svn-base │ │ │ │ ├── MLNParser.DFA25.html.svn-base │ │ │ │ ├── MLNParser.DFA30.html.svn-base │ │ │ │ ├── MLNParser.DFA4.html.svn-base │ │ │ │ ├── MLNParser.atom_return.html.svn-base │ │ │ │ ├── MLNParser.atomicExpression_return.html.svn-base │ │ │ │ ├── MLNParser.boolConjunctionElement_return.html.svn-base │ │ │ │ ├── MLNParser.boolConjunction_return.html.svn-base │ │ │ │ ├── MLNParser.boolExpression_return.html.svn-base │ │ │ │ ├── MLNParser.datalogRule_return.html.svn-base │ │ │ │ ├── MLNParser.definitions_return.html.svn-base │ │ │ │ ├── MLNParser.evidenceList_return.html.svn-base │ │ │ │ ├── MLNParser.evidence_return.html.svn-base │ │ │ │ ├── MLNParser.existQuan_return.html.svn-base │ │ │ │ ├── MLNParser.expression_return.html.svn-base │ │ │ │ ├── MLNParser.foclause_return.html.svn-base │ │ │ │ ├── MLNParser.funcArgument_return.html.svn-base │ │ │ │ ├── MLNParser.funcExpression_return.html.svn-base │ │ │ │ ├── MLNParser.functionalAtom_return.html.svn-base │ │ │ │ ├── MLNParser.functionalDependencyItem_return.html.svn-base │ │ │ │ ├── MLNParser.functionalDependency_return.html.svn-base │ │ │ │ ├── MLNParser.hardRule_return.html.svn-base │ │ │ │ ├── MLNParser.html.svn-base │ │ │ │ ├── MLNParser.literal_return.html.svn-base │ │ │ │ ├── MLNParser.mathComparison_return.html.svn-base │ │ │ │ ├── MLNParser.mathExpression_return.html.svn-base │ │ │ │ ├── MLNParser.mathFactor_return.html.svn-base │ │ │ │ ├── MLNParser.mathTerm_return.html.svn-base │ │ │ │ ├── MLNParser.mlnRule_return.html.svn-base │ │ │ │ ├── MLNParser.predArg_return.html.svn-base │ │ │ │ ├── MLNParser.queryCommaList_return.html.svn-base │ │ │ │ ├── MLNParser.queryList_return.html.svn-base │ │ │ │ ├── MLNParser.query_return.html.svn-base │ │ │ │ ├── MLNParser.ruleList_return.html.svn-base │ │ │ │ ├── MLNParser.schemaConstraint_return.html.svn-base │ │ │ │ ├── MLNParser.schemaList_return.html.svn-base │ │ │ │ ├── MLNParser.schema_return.html.svn-base │ │ │ │ ├── MLNParser.scopingRule_return.html.svn-base │ │ │ │ ├── MLNParser.softRule_return.html.svn-base │ │ │ │ ├── MLNParser.term_return.html.svn-base │ │ │ │ ├── mlnLexer.DFA1.html.svn-base │ │ │ │ └── mlnLexer.DFA14.html.svn-base │ │ ├── CommandOptions.InferDataStore.html │ │ ├── CommandOptions.MAPInferAlgo.html │ │ ├── CommandOptions.html │ │ ├── ConfigLexer.DFA15.html │ │ ├── ConfigLexer.DFA2.html │ │ ├── ConfigLexer.DFA20.html │ │ ├── ConfigLexer.html │ │ ├── ConfigParser.config_return.html │ │ ├── ConfigParser.html │ │ ├── ConfigParser.state_return.html │ │ ├── ConfigParser.value_return.html │ │ ├── InputParser.html │ │ ├── InputParserTest.html │ │ ├── MLNLexer.DFA23.html │ │ ├── MLNLexer.DFA8.html │ │ ├── MLNLexer.html │ │ ├── MLNParser.DFA11.html │ │ ├── MLNParser.DFA14.html │ │ ├── MLNParser.DFA15.html │ │ ├── MLNParser.DFA25.html │ │ ├── MLNParser.DFA30.html │ │ ├── MLNParser.DFA4.html │ │ ├── MLNParser.atom_return.html │ │ ├── MLNParser.atomicExpression_return.html │ │ ├── MLNParser.boolConjunctionElement_return.html │ │ ├── MLNParser.boolConjunction_return.html │ │ ├── MLNParser.boolExpression_return.html │ │ ├── MLNParser.datalogRule_return.html │ │ ├── MLNParser.definitions_return.html │ │ ├── MLNParser.evidenceList_return.html │ │ ├── MLNParser.evidence_return.html │ │ ├── MLNParser.existQuan_return.html │ │ ├── MLNParser.expression_return.html │ │ ├── MLNParser.foclause_return.html │ │ ├── MLNParser.funcArgument_return.html │ │ ├── MLNParser.funcExpression_return.html │ │ ├── MLNParser.functionalAtom_return.html │ │ ├── MLNParser.functionalDependencyItem_return.html │ │ ├── MLNParser.functionalDependency_return.html │ │ ├── MLNParser.hardRule_return.html │ │ ├── MLNParser.html │ │ ├── MLNParser.literal_return.html │ │ ├── MLNParser.mathComparison_return.html │ │ ├── MLNParser.mathExpression_return.html │ │ ├── MLNParser.mathFactor_return.html │ │ ├── MLNParser.mathTerm_return.html │ │ ├── MLNParser.mlnRule_return.html │ │ ├── MLNParser.predArg_return.html │ │ ├── MLNParser.queryCommaList_return.html │ │ ├── MLNParser.queryList_return.html │ │ ├── MLNParser.query_return.html │ │ ├── MLNParser.ruleList_return.html │ │ ├── MLNParser.schemaConstraint_return.html │ │ ├── MLNParser.schemaList_return.html │ │ ├── MLNParser.schema_return.html │ │ ├── MLNParser.scopingRule_return.html │ │ ├── MLNParser.softRule_return.html │ │ ├── MLNParser.term_return.html │ │ ├── mlnLexer.DFA1.html │ │ └── mlnLexer.DFA14.html │ ├── mlnLexer.DFA1.html │ ├── mlnLexer.DFA14.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── resources │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── inherit.gif.svn-base │ │ └── text-base │ │ │ └── inherit.gif.svn-base │ └── inherit.gif ├── serialized-form.html ├── stylesheet.css ├── test │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── AtomCutSetTest.html.svn-base │ │ │ ├── AtomTest.html.svn-base │ │ │ ├── ClauseTest.html.svn-base │ │ │ ├── ConfigTest.html.svn-base │ │ │ ├── GAtomTest.html.svn-base │ │ │ ├── GClauseTest.html.svn-base │ │ │ ├── GroundingTest.html.svn-base │ │ │ ├── InferenceTest.html.svn-base │ │ │ ├── LearnerTest.html.svn-base │ │ │ ├── LiteralTest.html.svn-base │ │ │ ├── MCSATTest.html.svn-base │ │ │ ├── MarkovLogicNetworkTest.html.svn-base │ │ │ ├── ParsingLoadingTest.html.svn-base │ │ │ ├── PredicateTest.html.svn-base │ │ │ ├── TermTest.html.svn-base │ │ │ ├── TupleTest.html.svn-base │ │ │ ├── TypeTest.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── AtomCutSetTest.html │ ├── AtomTest.html │ ├── ClauseTest.html │ ├── ConfigTest.html │ ├── GAtomTest.html │ ├── GClauseTest.html │ ├── GroundingTest.html │ ├── InferenceTest.html │ ├── LearnerTest.html │ ├── LiteralTest.html │ ├── MCSATTest.html │ ├── MarkovLogicNetworkTest.html │ ├── ParsingLoadingTest.html │ ├── PredicateTest.html │ ├── TermTest.html │ ├── TupleTest.html │ ├── TypeTest.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── AtomCutSetTest.html.svn-base │ │ │ │ ├── AtomTest.html.svn-base │ │ │ │ ├── ClauseTest.html.svn-base │ │ │ │ ├── ConfigTest.html.svn-base │ │ │ │ ├── GAtomTest.html.svn-base │ │ │ │ ├── GClauseTest.html.svn-base │ │ │ │ ├── GroundingTest.html.svn-base │ │ │ │ ├── InferenceTest.html.svn-base │ │ │ │ ├── LearnerTest.html.svn-base │ │ │ │ ├── LiteralTest.html.svn-base │ │ │ │ ├── MCSATTest.html.svn-base │ │ │ │ ├── MarkovLogicNetworkTest.html.svn-base │ │ │ │ ├── ParsingLoadingTest.html.svn-base │ │ │ │ ├── PredicateTest.html.svn-base │ │ │ │ ├── TermTest.html.svn-base │ │ │ │ ├── TupleTest.html.svn-base │ │ │ │ └── TypeTest.html.svn-base │ │ ├── AtomCutSetTest.html │ │ ├── AtomTest.html │ │ ├── ClauseTest.html │ │ ├── ConfigTest.html │ │ ├── GAtomTest.html │ │ ├── GClauseTest.html │ │ ├── GroundingTest.html │ │ ├── InferenceTest.html │ │ ├── LearnerTest.html │ │ ├── LiteralTest.html │ │ ├── MCSATTest.html │ │ ├── MarkovLogicNetworkTest.html │ │ ├── ParsingLoadingTest.html │ │ ├── PredicateTest.html │ │ ├── TermTest.html │ │ ├── TupleTest.html │ │ └── TypeTest.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── tmpLearn │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── BetterDNLearner.html.svn-base │ │ │ ├── Learner.html.svn-base │ │ │ ├── Main.html.svn-base │ │ │ ├── NaiveDNLearner.html.svn-base │ │ │ ├── NaiveGDLearner.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ ├── BetterDNLearner.html │ ├── Learner.html │ ├── Main.html │ ├── NaiveDNLearner.html │ ├── NaiveGDLearner.html │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── BetterDNLearner.html.svn-base │ │ │ │ ├── Learner.html.svn-base │ │ │ │ ├── Main.html.svn-base │ │ │ │ ├── NaiveDNLearner.html.svn-base │ │ │ │ └── NaiveGDLearner.html.svn-base │ │ ├── BetterDNLearner.html │ │ ├── Learner.html │ │ ├── Main.html │ │ ├── NaiveDNLearner.html │ │ └── NaiveGDLearner.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── tuffy │ ├── .svn │ │ ├── all-wcprops │ │ └── entries │ ├── db │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── RDB.html.svn-base │ │ │ │ ├── SQLMan.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── RDB.html │ │ ├── SQLMan.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── RDB.html.svn-base │ │ │ │ │ └── SQLMan.html.svn-base │ │ │ ├── RDB.html │ │ │ └── SQLMan.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── ground │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Grounding.html.svn-base │ │ │ │ ├── KBMC.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── Grounding.html │ │ ├── KBMC.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── Grounding.html.svn-base │ │ │ │ │ └── KBMC.html.svn-base │ │ │ ├── Grounding.html │ │ │ └── KBMC.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ ├── package-use.html │ │ └── partition │ │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Bucket.html.svn-base │ │ │ │ ├── Component.html.svn-base │ │ │ │ ├── Partition.html.svn-base │ │ │ │ ├── PartitionScheme.html.svn-base │ │ │ │ ├── Partitioning.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ │ ├── Bucket.html │ │ │ ├── Component.html │ │ │ ├── Partition.html │ │ │ ├── PartitionScheme.html │ │ │ ├── Partitioning.html │ │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── Bucket.html.svn-base │ │ │ │ │ ├── Component.html.svn-base │ │ │ │ │ ├── Partition.html.svn-base │ │ │ │ │ ├── PartitionScheme.html.svn-base │ │ │ │ │ └── Partitioning.html.svn-base │ │ │ ├── Bucket.html │ │ │ ├── Component.html │ │ │ ├── Partition.html │ │ │ ├── PartitionScheme.html │ │ │ └── Partitioning.html │ │ │ ├── package-frame.html │ │ │ ├── package-summary.html │ │ │ ├── package-tree.html │ │ │ └── package-use.html │ ├── helper │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Stats.ClauseCostComparator.html.svn-base │ │ │ │ ├── Stats.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── Stats.ClauseCostComparator.html │ │ ├── Stats.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── Stats.ClauseCostComparator.html.svn-base │ │ │ │ │ └── Stats.html.svn-base │ │ │ ├── Stats.ClauseCostComparator.html │ │ │ └── Stats.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── infer │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── DataMover.html.svn-base │ │ │ │ ├── InferBucket.CompWorker.html.svn-base │ │ │ │ ├── InferBucket.html.svn-base │ │ │ │ ├── InferComponent.html.svn-base │ │ │ │ ├── InferPartitioned.html.svn-base │ │ │ │ ├── MRF.INIT_STRATEGY.html.svn-base │ │ │ │ ├── MRF.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── DataMover.html │ │ ├── InferBucket.CompWorker.html │ │ ├── InferBucket.html │ │ ├── InferComponent.html │ │ ├── InferPartitioned.html │ │ ├── MRF.INIT_STRATEGY.html │ │ ├── MRF.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── DataMover.html.svn-base │ │ │ │ │ ├── InferBucket.CompWorker.html.svn-base │ │ │ │ │ ├── InferBucket.html.svn-base │ │ │ │ │ ├── InferComponent.html.svn-base │ │ │ │ │ ├── InferPartitioned.html.svn-base │ │ │ │ │ ├── MRF.INIT_STRATEGY.html.svn-base │ │ │ │ │ ├── MRF.html.svn-base │ │ │ │ │ └── PGInfer.html.svn-base │ │ │ ├── DataMover.html │ │ │ ├── InferBucket.CompWorker.html │ │ │ ├── InferBucket.html │ │ │ ├── InferComponent.html │ │ │ ├── InferPartitioned.html │ │ │ ├── MRF.INIT_STRATEGY.html │ │ │ ├── MRF.html │ │ │ └── PGInfer.html │ │ ├── ds │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── GAtom.html.svn-base │ │ │ │ │ ├── GClause.html.svn-base │ │ │ │ │ ├── KeyBlock.html.svn-base │ │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ │ └── package-use.html.svn-base │ │ │ ├── GAtom.html │ │ │ ├── GClause.html │ │ │ ├── KeyBlock.html │ │ │ ├── class-use │ │ │ │ ├── .svn │ │ │ │ │ ├── all-wcprops │ │ │ │ │ ├── entries │ │ │ │ │ └── text-base │ │ │ │ │ │ ├── GAtom.html.svn-base │ │ │ │ │ │ ├── GClause.html.svn-base │ │ │ │ │ │ └── KeyBlock.html.svn-base │ │ │ │ ├── GAtom.html │ │ │ │ ├── GClause.html │ │ │ │ └── KeyBlock.html │ │ │ ├── package-frame.html │ │ │ ├── package-summary.html │ │ │ ├── package-tree.html │ │ │ └── package-use.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── learn │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── DNLearner.html.svn-base │ │ │ │ ├── Learner.html.svn-base │ │ │ │ ├── Main.html.svn-base │ │ │ │ ├── NaiveDNLearner.html.svn-base │ │ │ │ ├── NaiveGDLearner.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── DNLearner.html │ │ ├── Learner.html │ │ ├── Main.html │ │ ├── NaiveDNLearner.html │ │ ├── NaiveGDLearner.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── DNLearner.html.svn-base │ │ │ │ │ ├── Learner.html.svn-base │ │ │ │ │ ├── Main.html.svn-base │ │ │ │ │ ├── NaiveDNLearner.html.svn-base │ │ │ │ │ └── NaiveGDLearner.html.svn-base │ │ │ ├── DNLearner.html │ │ │ ├── Learner.html │ │ │ ├── Main.html │ │ │ ├── NaiveDNLearner.html │ │ │ └── NaiveGDLearner.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── main │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Infer.html.svn-base │ │ │ │ ├── Main.html.svn-base │ │ │ │ ├── NonPartInfer.html.svn-base │ │ │ │ ├── PartInfer.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── Infer.html │ │ ├── Main.html │ │ ├── NonPartInfer.html │ │ ├── PartInfer.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── Infer.html.svn-base │ │ │ │ │ ├── Main.html.svn-base │ │ │ │ │ ├── NonPartInfer.html.svn-base │ │ │ │ │ └── PartInfer.html.svn-base │ │ │ ├── Infer.html │ │ │ ├── Main.html │ │ │ ├── NonPartInfer.html │ │ │ └── PartInfer.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── mln │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── Atom.AtomType.html.svn-base │ │ │ │ ├── Atom.html.svn-base │ │ │ │ ├── Clause.html.svn-base │ │ │ │ ├── Literal.html.svn-base │ │ │ │ ├── MarkovLogicNetwork.html.svn-base │ │ │ │ ├── Predicate.html.svn-base │ │ │ │ ├── Term.html.svn-base │ │ │ │ ├── Tuple.html.svn-base │ │ │ │ ├── Type.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── Atom.AtomType.html │ │ ├── Atom.html │ │ ├── Clause.html │ │ ├── Literal.html │ │ ├── MarkovLogicNetwork.html │ │ ├── Predicate.html │ │ ├── Term.html │ │ ├── Tuple.html │ │ ├── Type.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── Atom.AtomType.html.svn-base │ │ │ │ │ ├── Atom.html.svn-base │ │ │ │ │ ├── Clause.html.svn-base │ │ │ │ │ ├── Literal.html.svn-base │ │ │ │ │ ├── MarkovLogicNetwork.html.svn-base │ │ │ │ │ ├── Predicate.html.svn-base │ │ │ │ │ ├── Term.html.svn-base │ │ │ │ │ ├── Tuple.html.svn-base │ │ │ │ │ └── Type.html.svn-base │ │ │ ├── Atom.AtomType.html │ │ │ ├── Atom.html │ │ │ ├── Clause.html │ │ │ ├── Literal.html │ │ │ ├── MarkovLogicNetwork.html │ │ │ ├── Predicate.html │ │ │ ├── Term.html │ │ │ ├── Tuple.html │ │ │ └── Type.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── parse │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── CommandOptions.InferDataStore.html.svn-base │ │ │ │ ├── CommandOptions.MAPInferAlgo.html.svn-base │ │ │ │ ├── CommandOptions.html.svn-base │ │ │ │ ├── ConfigLexer.html.svn-base │ │ │ │ ├── ConfigParser.config_return.html.svn-base │ │ │ │ ├── ConfigParser.html.svn-base │ │ │ │ ├── ConfigParser.state_return.html.svn-base │ │ │ │ ├── InputParser.html.svn-base │ │ │ │ ├── MLNLexer.html.svn-base │ │ │ │ ├── MLNParser.atom_return.html.svn-base │ │ │ │ ├── MLNParser.atomicExpression_return.html.svn-base │ │ │ │ ├── MLNParser.boolConjunctionElement_return.html.svn-base │ │ │ │ ├── MLNParser.boolConjunction_return.html.svn-base │ │ │ │ ├── MLNParser.boolExpression_return.html.svn-base │ │ │ │ ├── MLNParser.datalogRule_return.html.svn-base │ │ │ │ ├── MLNParser.definitions_return.html.svn-base │ │ │ │ ├── MLNParser.evidenceList_return.html.svn-base │ │ │ │ ├── MLNParser.evidence_return.html.svn-base │ │ │ │ ├── MLNParser.existQuan_return.html.svn-base │ │ │ │ ├── MLNParser.expression_return.html.svn-base │ │ │ │ ├── MLNParser.foclause_return.html.svn-base │ │ │ │ ├── MLNParser.funcArgument_return.html.svn-base │ │ │ │ ├── MLNParser.funcExpression_return.html.svn-base │ │ │ │ ├── MLNParser.functionalAtom_return.html.svn-base │ │ │ │ ├── MLNParser.functionalDependencyItem_return.html.svn-base │ │ │ │ ├── MLNParser.functionalDependency_return.html.svn-base │ │ │ │ ├── MLNParser.hardRule_return.html.svn-base │ │ │ │ ├── MLNParser.html.svn-base │ │ │ │ ├── MLNParser.literal_return.html.svn-base │ │ │ │ ├── MLNParser.mathComparison_return.html.svn-base │ │ │ │ ├── MLNParser.mathExpression_return.html.svn-base │ │ │ │ ├── MLNParser.mathFactor_return.html.svn-base │ │ │ │ ├── MLNParser.mathTerm_return.html.svn-base │ │ │ │ ├── MLNParser.mlnRule_return.html.svn-base │ │ │ │ ├── MLNParser.predArg_return.html.svn-base │ │ │ │ ├── MLNParser.queryCommaList_return.html.svn-base │ │ │ │ ├── MLNParser.queryList_return.html.svn-base │ │ │ │ ├── MLNParser.query_return.html.svn-base │ │ │ │ ├── MLNParser.ruleList_return.html.svn-base │ │ │ │ ├── MLNParser.schemaConstraint_return.html.svn-base │ │ │ │ ├── MLNParser.schemaList_return.html.svn-base │ │ │ │ ├── MLNParser.schema_return.html.svn-base │ │ │ │ ├── MLNParser.scopingRule_return.html.svn-base │ │ │ │ ├── MLNParser.softRule_return.html.svn-base │ │ │ │ ├── MLNParser.term_return.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── CommandOptions.InferDataStore.html │ │ ├── CommandOptions.MAPInferAlgo.html │ │ ├── CommandOptions.html │ │ ├── ConfigLexer.html │ │ ├── ConfigParser.config_return.html │ │ ├── ConfigParser.html │ │ ├── ConfigParser.state_return.html │ │ ├── InputParser.html │ │ ├── MLNLexer.html │ │ ├── MLNParser.atom_return.html │ │ ├── MLNParser.atomicExpression_return.html │ │ ├── MLNParser.boolConjunctionElement_return.html │ │ ├── MLNParser.boolConjunction_return.html │ │ ├── MLNParser.boolExpression_return.html │ │ ├── MLNParser.datalogRule_return.html │ │ ├── MLNParser.definitions_return.html │ │ ├── MLNParser.evidenceList_return.html │ │ ├── MLNParser.evidence_return.html │ │ ├── MLNParser.existQuan_return.html │ │ ├── MLNParser.expression_return.html │ │ ├── MLNParser.foclause_return.html │ │ ├── MLNParser.funcArgument_return.html │ │ ├── MLNParser.funcExpression_return.html │ │ ├── MLNParser.functionalAtom_return.html │ │ ├── MLNParser.functionalDependencyItem_return.html │ │ ├── MLNParser.functionalDependency_return.html │ │ ├── MLNParser.hardRule_return.html │ │ ├── MLNParser.html │ │ ├── MLNParser.literal_return.html │ │ ├── MLNParser.mathComparison_return.html │ │ ├── MLNParser.mathExpression_return.html │ │ ├── MLNParser.mathFactor_return.html │ │ ├── MLNParser.mathTerm_return.html │ │ ├── MLNParser.mlnRule_return.html │ │ ├── MLNParser.predArg_return.html │ │ ├── MLNParser.queryCommaList_return.html │ │ ├── MLNParser.queryList_return.html │ │ ├── MLNParser.query_return.html │ │ ├── MLNParser.ruleList_return.html │ │ ├── MLNParser.schemaConstraint_return.html │ │ ├── MLNParser.schemaList_return.html │ │ ├── MLNParser.schema_return.html │ │ ├── MLNParser.scopingRule_return.html │ │ ├── MLNParser.softRule_return.html │ │ ├── MLNParser.term_return.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── CommandOptions.InferDataStore.html.svn-base │ │ │ │ │ ├── CommandOptions.MAPInferAlgo.html.svn-base │ │ │ │ │ ├── CommandOptions.html.svn-base │ │ │ │ │ ├── ConfigLexer.html.svn-base │ │ │ │ │ ├── ConfigParser.config_return.html.svn-base │ │ │ │ │ ├── ConfigParser.html.svn-base │ │ │ │ │ ├── ConfigParser.state_return.html.svn-base │ │ │ │ │ ├── InputParser.html.svn-base │ │ │ │ │ ├── MLNLexer.html.svn-base │ │ │ │ │ ├── MLNParser.atom_return.html.svn-base │ │ │ │ │ ├── MLNParser.atomicExpression_return.html.svn-base │ │ │ │ │ ├── MLNParser.boolConjunctionElement_return.html.svn-base │ │ │ │ │ ├── MLNParser.boolConjunction_return.html.svn-base │ │ │ │ │ ├── MLNParser.boolExpression_return.html.svn-base │ │ │ │ │ ├── MLNParser.datalogRule_return.html.svn-base │ │ │ │ │ ├── MLNParser.definitions_return.html.svn-base │ │ │ │ │ ├── MLNParser.evidenceList_return.html.svn-base │ │ │ │ │ ├── MLNParser.evidence_return.html.svn-base │ │ │ │ │ ├── MLNParser.existQuan_return.html.svn-base │ │ │ │ │ ├── MLNParser.expression_return.html.svn-base │ │ │ │ │ ├── MLNParser.foclause_return.html.svn-base │ │ │ │ │ ├── MLNParser.funcArgument_return.html.svn-base │ │ │ │ │ ├── MLNParser.funcExpression_return.html.svn-base │ │ │ │ │ ├── MLNParser.functionalAtom_return.html.svn-base │ │ │ │ │ ├── MLNParser.functionalDependencyItem_return.html.svn-base │ │ │ │ │ ├── MLNParser.functionalDependency_return.html.svn-base │ │ │ │ │ ├── MLNParser.hardRule_return.html.svn-base │ │ │ │ │ ├── MLNParser.html.svn-base │ │ │ │ │ ├── MLNParser.literal_return.html.svn-base │ │ │ │ │ ├── MLNParser.mathComparison_return.html.svn-base │ │ │ │ │ ├── MLNParser.mathExpression_return.html.svn-base │ │ │ │ │ ├── MLNParser.mathFactor_return.html.svn-base │ │ │ │ │ ├── MLNParser.mathTerm_return.html.svn-base │ │ │ │ │ ├── MLNParser.mlnRule_return.html.svn-base │ │ │ │ │ ├── MLNParser.predArg_return.html.svn-base │ │ │ │ │ ├── MLNParser.queryCommaList_return.html.svn-base │ │ │ │ │ ├── MLNParser.queryList_return.html.svn-base │ │ │ │ │ ├── MLNParser.query_return.html.svn-base │ │ │ │ │ ├── MLNParser.ruleList_return.html.svn-base │ │ │ │ │ ├── MLNParser.schemaConstraint_return.html.svn-base │ │ │ │ │ ├── MLNParser.schemaList_return.html.svn-base │ │ │ │ │ ├── MLNParser.schema_return.html.svn-base │ │ │ │ │ ├── MLNParser.scopingRule_return.html.svn-base │ │ │ │ │ ├── MLNParser.softRule_return.html.svn-base │ │ │ │ │ └── MLNParser.term_return.html.svn-base │ │ │ ├── CommandOptions.InferDataStore.html │ │ │ ├── CommandOptions.MAPInferAlgo.html │ │ │ ├── CommandOptions.html │ │ │ ├── ConfigLexer.html │ │ │ ├── ConfigParser.config_return.html │ │ │ ├── ConfigParser.html │ │ │ ├── ConfigParser.state_return.html │ │ │ ├── InputParser.html │ │ │ ├── MLNLexer.html │ │ │ ├── MLNParser.atom_return.html │ │ │ ├── MLNParser.atomicExpression_return.html │ │ │ ├── MLNParser.boolConjunctionElement_return.html │ │ │ ├── MLNParser.boolConjunction_return.html │ │ │ ├── MLNParser.boolExpression_return.html │ │ │ ├── MLNParser.datalogRule_return.html │ │ │ ├── MLNParser.definitions_return.html │ │ │ ├── MLNParser.evidenceList_return.html │ │ │ ├── MLNParser.evidence_return.html │ │ │ ├── MLNParser.existQuan_return.html │ │ │ ├── MLNParser.expression_return.html │ │ │ ├── MLNParser.foclause_return.html │ │ │ ├── MLNParser.funcArgument_return.html │ │ │ ├── MLNParser.funcExpression_return.html │ │ │ ├── MLNParser.functionalAtom_return.html │ │ │ ├── MLNParser.functionalDependencyItem_return.html │ │ │ ├── MLNParser.functionalDependency_return.html │ │ │ ├── MLNParser.hardRule_return.html │ │ │ ├── MLNParser.html │ │ │ ├── MLNParser.literal_return.html │ │ │ ├── MLNParser.mathComparison_return.html │ │ │ ├── MLNParser.mathExpression_return.html │ │ │ ├── MLNParser.mathFactor_return.html │ │ │ ├── MLNParser.mathTerm_return.html │ │ │ ├── MLNParser.mlnRule_return.html │ │ │ ├── MLNParser.predArg_return.html │ │ │ ├── MLNParser.queryCommaList_return.html │ │ │ ├── MLNParser.queryList_return.html │ │ │ ├── MLNParser.query_return.html │ │ │ ├── MLNParser.ruleList_return.html │ │ │ ├── MLNParser.schemaConstraint_return.html │ │ │ ├── MLNParser.schemaList_return.html │ │ │ ├── MLNParser.schema_return.html │ │ │ ├── MLNParser.scopingRule_return.html │ │ │ ├── MLNParser.softRule_return.html │ │ │ └── MLNParser.term_return.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── ra │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── AtomEx.html.svn-base │ │ │ │ ├── ConjunctiveQuery.CLUSTERING_RULE_TYPE.html.svn-base │ │ │ │ ├── ConjunctiveQuery.StringSet.html.svn-base │ │ │ │ ├── ConjunctiveQuery.html.svn-base │ │ │ │ ├── Expression.html.svn-base │ │ │ │ ├── Function.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── AtomEx.html │ │ ├── ConjunctiveQuery.CLUSTERING_RULE_TYPE.html │ │ ├── ConjunctiveQuery.StringSet.html │ │ ├── ConjunctiveQuery.html │ │ ├── Expression.html │ │ ├── Function.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── AtomEx.html.svn-base │ │ │ │ │ ├── ConjunctiveQuery.CLUSTERING_RULE_TYPE.html.svn-base │ │ │ │ │ ├── ConjunctiveQuery.StringSet.html.svn-base │ │ │ │ │ ├── ConjunctiveQuery.html.svn-base │ │ │ │ │ ├── Expression.html.svn-base │ │ │ │ │ └── Function.html.svn-base │ │ │ ├── AtomEx.html │ │ │ ├── ConjunctiveQuery.CLUSTERING_RULE_TYPE.html │ │ │ ├── ConjunctiveQuery.StringSet.html │ │ │ ├── ConjunctiveQuery.html │ │ │ ├── Expression.html │ │ │ └── Function.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ ├── test │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── AtomTest.html.svn-base │ │ │ │ ├── ClauseTest.html.svn-base │ │ │ │ ├── ConfigTest.html.svn-base │ │ │ │ ├── GAtomTest.html.svn-base │ │ │ │ ├── GClauseTest.html.svn-base │ │ │ │ ├── GroundingTest.html.svn-base │ │ │ │ ├── InferenceTest.html.svn-base │ │ │ │ ├── LearnerTest.html.svn-base │ │ │ │ ├── LiteralTest.html.svn-base │ │ │ │ ├── ParsingLoadingTest.html.svn-base │ │ │ │ ├── PredicateTest.html.svn-base │ │ │ │ ├── TermTest.html.svn-base │ │ │ │ ├── TupleTest.html.svn-base │ │ │ │ ├── TypeTest.html.svn-base │ │ │ │ ├── package-frame.html.svn-base │ │ │ │ ├── package-summary.html.svn-base │ │ │ │ ├── package-tree.html.svn-base │ │ │ │ └── package-use.html.svn-base │ │ ├── AtomTest.html │ │ ├── ClauseTest.html │ │ ├── ConfigTest.html │ │ ├── GAtomTest.html │ │ ├── GClauseTest.html │ │ ├── GroundingTest.html │ │ ├── InferenceTest.html │ │ ├── LearnerTest.html │ │ ├── LiteralTest.html │ │ ├── ParsingLoadingTest.html │ │ ├── PredicateTest.html │ │ ├── TermTest.html │ │ ├── TupleTest.html │ │ ├── TypeTest.html │ │ ├── class-use │ │ │ ├── .svn │ │ │ │ ├── all-wcprops │ │ │ │ ├── entries │ │ │ │ └── text-base │ │ │ │ │ ├── AtomTest.html.svn-base │ │ │ │ │ ├── ClauseTest.html.svn-base │ │ │ │ │ ├── ConfigTest.html.svn-base │ │ │ │ │ ├── GAtomTest.html.svn-base │ │ │ │ │ ├── GClauseTest.html.svn-base │ │ │ │ │ ├── GroundingTest.html.svn-base │ │ │ │ │ ├── InferenceTest.html.svn-base │ │ │ │ │ ├── LearnerTest.html.svn-base │ │ │ │ │ ├── LiteralTest.html.svn-base │ │ │ │ │ ├── ParsingLoadingTest.html.svn-base │ │ │ │ │ ├── PredicateTest.html.svn-base │ │ │ │ │ ├── TermTest.html.svn-base │ │ │ │ │ ├── TupleTest.html.svn-base │ │ │ │ │ └── TypeTest.html.svn-base │ │ │ ├── AtomTest.html │ │ │ ├── ClauseTest.html │ │ │ ├── ConfigTest.html │ │ │ ├── GAtomTest.html │ │ │ ├── GClauseTest.html │ │ │ ├── GroundingTest.html │ │ │ ├── InferenceTest.html │ │ │ ├── LearnerTest.html │ │ │ ├── LiteralTest.html │ │ │ ├── ParsingLoadingTest.html │ │ │ ├── PredicateTest.html │ │ │ ├── TermTest.html │ │ │ ├── TupleTest.html │ │ │ └── TypeTest.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html │ └── util │ │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── BatMan.html.svn-base │ │ │ ├── BoundHashList.html.svn-base │ │ │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html.svn-base │ │ │ ├── Config.TUFFY_INFERENCE_TASK.html.svn-base │ │ │ ├── Config.html.svn-base │ │ │ ├── DebugMan.html.svn-base │ │ │ ├── ExceptionMan.html.svn-base │ │ │ ├── FileMan.html.svn-base │ │ │ ├── HashArray.html.svn-base │ │ │ ├── IronMan.html.svn-base │ │ │ ├── MathMan.html.svn-base │ │ │ ├── PlotMan.TCPair.html.svn-base │ │ │ ├── PlotMan.html.svn-base │ │ │ ├── ProbMan.html.svn-base │ │ │ ├── Settings.html.svn-base │ │ │ ├── SpiderMan.html.svn-base │ │ │ ├── StringMan.html.svn-base │ │ │ ├── SuperMan.html.svn-base │ │ │ ├── Timer.RunStat.html.svn-base │ │ │ ├── Timer.html.svn-base │ │ │ ├── TuffyThrownError.html.svn-base │ │ │ ├── UIMan.html.svn-base │ │ │ ├── UnionFind.Record.html.svn-base │ │ │ ├── UnionFind.html.svn-base │ │ │ ├── package-frame.html.svn-base │ │ │ ├── package-summary.html.svn-base │ │ │ ├── package-tree.html.svn-base │ │ │ └── package-use.html.svn-base │ │ ├── BatMan.html │ │ ├── BoundHashList.html │ │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html │ │ ├── Config.TUFFY_INFERENCE_TASK.html │ │ ├── Config.html │ │ ├── DebugMan.html │ │ ├── ExceptionMan.html │ │ ├── FileMan.html │ │ ├── HashArray.html │ │ ├── IronMan.html │ │ ├── MathMan.html │ │ ├── PlotMan.TCPair.html │ │ ├── PlotMan.html │ │ ├── ProbMan.html │ │ ├── Settings.html │ │ ├── SpiderMan.html │ │ ├── StringMan.html │ │ ├── SuperMan.html │ │ ├── Timer.RunStat.html │ │ ├── Timer.html │ │ ├── TuffyThrownError.html │ │ ├── UIMan.html │ │ ├── UnionFind.Record.html │ │ ├── UnionFind.html │ │ ├── class-use │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── BatMan.html.svn-base │ │ │ │ ├── BoundHashList.html.svn-base │ │ │ │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html.svn-base │ │ │ │ ├── Config.TUFFY_INFERENCE_TASK.html.svn-base │ │ │ │ ├── Config.html.svn-base │ │ │ │ ├── DebugMan.html.svn-base │ │ │ │ ├── ExceptionMan.html.svn-base │ │ │ │ ├── FileMan.html.svn-base │ │ │ │ ├── HashArray.html.svn-base │ │ │ │ ├── IronMan.html.svn-base │ │ │ │ ├── MathMan.html.svn-base │ │ │ │ ├── PlotMan.TCPair.html.svn-base │ │ │ │ ├── PlotMan.html.svn-base │ │ │ │ ├── ProbMan.html.svn-base │ │ │ │ ├── Settings.html.svn-base │ │ │ │ ├── SpiderMan.html.svn-base │ │ │ │ ├── StringMan.html.svn-base │ │ │ │ ├── SuperMan.html.svn-base │ │ │ │ ├── Timer.RunStat.html.svn-base │ │ │ │ ├── Timer.html.svn-base │ │ │ │ ├── TuffyThrownError.html.svn-base │ │ │ │ ├── UIMan.html.svn-base │ │ │ │ ├── UnionFind.Record.html.svn-base │ │ │ │ └── UnionFind.html.svn-base │ │ ├── BatMan.html │ │ ├── BoundHashList.html │ │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html │ │ ├── Config.TUFFY_INFERENCE_TASK.html │ │ ├── Config.html │ │ ├── DebugMan.html │ │ ├── ExceptionMan.html │ │ ├── FileMan.html │ │ ├── HashArray.html │ │ ├── IronMan.html │ │ ├── MathMan.html │ │ ├── PlotMan.TCPair.html │ │ ├── PlotMan.html │ │ ├── ProbMan.html │ │ ├── Settings.html │ │ ├── SpiderMan.html │ │ ├── StringMan.html │ │ ├── SuperMan.html │ │ ├── Timer.RunStat.html │ │ ├── Timer.html │ │ ├── TuffyThrownError.html │ │ ├── UIMan.html │ │ ├── UnionFind.Record.html │ │ └── UnionFind.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html └── util │ ├── .svn │ ├── all-wcprops │ ├── entries │ └── text-base │ │ ├── BatMan.html.svn-base │ │ ├── BoundHashList.html.svn-base │ │ ├── CommandOptions.MAPInferAlgo.html.svn-base │ │ ├── CommandOptions.html.svn-base │ │ ├── Config.CLAUSE_ASSIGNMENT_STRATEGY.html.svn-base │ │ ├── Config.INIT_STRATEGY.html.svn-base │ │ ├── Config.LINEAR_INFER_ORDER.html.svn-base │ │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html.svn-base │ │ ├── Config.PART_INFER_STRATEGY.html.svn-base │ │ ├── Config.html.svn-base │ │ ├── Config.test.html.svn-base │ │ ├── DebugMan.html.svn-base │ │ ├── ExceptionMan.html.svn-base │ │ ├── FileMan.html.svn-base │ │ ├── HashArray.html.svn-base │ │ ├── IronMan.html.svn-base │ │ ├── MathMan.html.svn-base │ │ ├── PlotMan.TCPair.html.svn-base │ │ ├── PlotMan.html.svn-base │ │ ├── ProbMan.html.svn-base │ │ ├── SQLMan.html.svn-base │ │ ├── SpiderMan.html.svn-base │ │ ├── StringMan.html.svn-base │ │ ├── SuperMan.html.svn-base │ │ ├── Timer.RunStat.html.svn-base │ │ ├── Timer.html.svn-base │ │ ├── UIMan.html.svn-base │ │ ├── UnionFind.Record.html.svn-base │ │ ├── UnionFind.html.svn-base │ │ ├── package-frame.html.svn-base │ │ ├── package-summary.html.svn-base │ │ ├── package-tree.html.svn-base │ │ └── package-use.html.svn-base │ ├── BatMan.html │ ├── BoundHashList.html │ ├── CommandOptions.MAPInferAlgo.html │ ├── CommandOptions.html │ ├── Config.CLAUSE_ASSIGNMENT_STRATEGY.html │ ├── Config.INIT_STRATEGY.html │ ├── Config.LINEAR_INFER_ORDER.html │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html │ ├── Config.PART_INFER_STRATEGY.html │ ├── Config.html │ ├── Config.test.html │ ├── DebugMan.html │ ├── ExceptionMan.html │ ├── FileMan.html │ ├── HashArray.html │ ├── IronMan.html │ ├── MathMan.html │ ├── PlotMan.TCPair.html │ ├── PlotMan.html │ ├── ProbMan.html │ ├── SQLMan.html │ ├── SpiderMan.html │ ├── StringMan.html │ ├── SuperMan.html │ ├── Timer.RunStat.html │ ├── Timer.html │ ├── UIMan.html │ ├── UnionFind.Record.html │ ├── UnionFind.html │ ├── class-use │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── BatMan.html.svn-base │ │ │ ├── BoundHashList.html.svn-base │ │ │ ├── CommandOptions.MAPInferAlgo.html.svn-base │ │ │ ├── CommandOptions.html.svn-base │ │ │ ├── Config.CLAUSE_ASSIGNMENT_STRATEGY.html.svn-base │ │ │ ├── Config.INIT_STRATEGY.html.svn-base │ │ │ ├── Config.LINEAR_INFER_ORDER.html.svn-base │ │ │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html.svn-base │ │ │ ├── Config.PART_INFER_STRATEGY.html.svn-base │ │ │ ├── Config.html.svn-base │ │ │ ├── Config.test.html.svn-base │ │ │ ├── DebugMan.html.svn-base │ │ │ ├── ExceptionMan.html.svn-base │ │ │ ├── FileMan.html.svn-base │ │ │ ├── HashArray.html.svn-base │ │ │ ├── IronMan.html.svn-base │ │ │ ├── MathMan.html.svn-base │ │ │ ├── PlotMan.TCPair.html.svn-base │ │ │ ├── PlotMan.html.svn-base │ │ │ ├── ProbMan.html.svn-base │ │ │ ├── SQLMan.html.svn-base │ │ │ ├── SpiderMan.html.svn-base │ │ │ ├── StringMan.html.svn-base │ │ │ ├── SuperMan.html.svn-base │ │ │ ├── Timer.RunStat.html.svn-base │ │ │ ├── Timer.html.svn-base │ │ │ ├── UIMan.html.svn-base │ │ │ ├── UnionFind.Record.html.svn-base │ │ │ └── UnionFind.html.svn-base │ ├── BatMan.html │ ├── BoundHashList.html │ ├── CommandOptions.MAPInferAlgo.html │ ├── CommandOptions.html │ ├── Config.CLAUSE_ASSIGNMENT_STRATEGY.html │ ├── Config.INIT_STRATEGY.html │ ├── Config.LINEAR_INFER_ORDER.html │ ├── Config.MCSAT_OUTPUT_TUPLE_ORDER.html │ ├── Config.PART_INFER_STRATEGY.html │ ├── Config.html │ ├── Config.test.html │ ├── DebugMan.html │ ├── ExceptionMan.html │ ├── FileMan.html │ ├── HashArray.html │ ├── IronMan.html │ ├── MathMan.html │ ├── PlotMan.TCPair.html │ ├── PlotMan.html │ ├── ProbMan.html │ ├── SQLMan.html │ ├── SpiderMan.html │ ├── StringMan.html │ ├── SuperMan.html │ ├── Timer.RunStat.html │ ├── Timer.html │ ├── UIMan.html │ ├── UnionFind.Record.html │ └── UnionFind.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── lib ├── .svn │ ├── all-wcprops │ ├── entries │ ├── prop-base │ │ ├── JavaEWAH-0.3.2.jar.svn-base │ │ ├── antlr-3.2.jar.svn-base │ │ ├── args4j-2.0.12.jar.svn-base │ │ ├── commons-codec-1.6.jar.svn-base │ │ ├── commons-lang3-3.0-beta-javadoc.jar.svn-base │ │ ├── commons-lang3-3.0-beta.jar.svn-base │ │ ├── commons-math-2.2.jar.svn-base │ │ ├── jgrapht-jdk1.6.jar.svn-base │ │ └── postgresql-8.4-701.jdbc4.jar.svn-base │ └── text-base │ │ ├── JavaEWAH-0.3.2.jar.svn-base │ │ ├── antlr-3.2.jar.svn-base │ │ ├── args4j-2.0.12.jar.svn-base │ │ ├── commons-codec-1.6.jar.svn-base │ │ ├── commons-lang3-3.0-beta-javadoc.jar.svn-base │ │ ├── commons-lang3-3.0-beta.jar.svn-base │ │ ├── commons-math-2.2.jar.svn-base │ │ ├── jgrapht-jdk1.6.jar.svn-base │ │ └── postgresql-8.4-701.jdbc4.jar.svn-base ├── JavaEWAH-0.3.2.jar ├── antlr-3.2.jar ├── args4j-2.0.12.jar ├── commons-codec-1.6.jar ├── commons-lang3-3.0-beta-javadoc.jar ├── commons-lang3-3.0-beta.jar ├── commons-math-2.2.jar ├── jgrapht-jdk1.6.jar ├── junit-4.9.jar └── postgresql-8.4-701.jdbc4.jar ├── samples ├── USAGE.txt ├── class │ ├── evidence.db │ ├── prog.mln │ └── query.db ├── cse │ ├── evidence.db │ ├── prog.mln │ └── query.db ├── ie │ ├── evidence.db │ ├── prog.mln │ └── query.db ├── rc1000 │ ├── evidence.db │ ├── prog.mln │ ├── prog.mln~ │ └── query.db └── smoke │ ├── evidence.db │ ├── prog.mln │ └── query.db ├── src ├── .DS_Store ├── .svn │ ├── all-wcprops │ └── entries └── tuffy │ ├── .DS_Store │ ├── .svn │ ├── all-wcprops │ └── entries │ ├── db │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── RDB.java.svn-base │ │ │ ├── SQLMan.java.svn-base │ │ │ └── package.html.svn-base │ ├── RDB.java │ ├── SQLMan.java │ └── package.html │ ├── ground │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── package_grounding.jpeg.svn-base │ │ └── text-base │ │ │ ├── Grounding.java.svn-base │ │ │ ├── KBMC.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── package_grounding.jpeg.svn-base │ ├── Grounding.java │ ├── KBMC.java │ ├── package.html │ ├── package_grounding.jpeg │ └── partition │ │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Bucket.java.svn-base │ │ │ ├── Component.java.svn-base │ │ │ ├── Partition.java.svn-base │ │ │ ├── PartitionScheme.java.svn-base │ │ │ ├── Partitioning.java.svn-base │ │ │ └── package.html.svn-base │ │ ├── Bucket.java │ │ ├── Component.java │ │ ├── Partition.java │ │ ├── PartitionScheme.java │ │ ├── Partitioning.java │ │ └── package.html │ ├── helper │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Stats.java.svn-base │ │ │ └── package.html.svn-base │ ├── Stats.java │ └── package.html │ ├── infer │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── package_infer.jpeg.svn-base │ │ └── text-base │ │ │ ├── DataMover.java.svn-base │ │ │ ├── InferBucket.java.svn-base │ │ │ ├── InferComponent.java.svn-base │ │ │ ├── InferPartitioned.java.svn-base │ │ │ ├── MRF.java.svn-base │ │ │ ├── PGInfer.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── package_infer.jpeg.svn-base │ ├── DataMover.java │ ├── InferBucket.java │ ├── InferComponent.java │ ├── InferPartitioned.java │ ├── MRF.java │ ├── PGInfer.java │ ├── ds │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ └── text-base │ │ │ │ ├── GAtom.java.svn-base │ │ │ │ ├── GClause.java.svn-base │ │ │ │ ├── KeyBlock.java.svn-base │ │ │ │ └── package.html.svn-base │ │ ├── GAtom.java │ │ ├── GClause.java │ │ ├── KeyBlock.java │ │ └── package.html │ ├── package.html │ └── package_infer.jpeg │ ├── learn │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ ├── MultiCoreSGDLearner.java.svn-base │ │ │ └── SGDLearner.java.svn-base │ │ └── text-base │ │ │ ├── DNLearner.java.svn-base │ │ │ ├── Learner.java.svn-base │ │ │ ├── Main.java.svn-base │ │ │ ├── MultiCoreSGDLearner.java.svn-base │ │ │ ├── NaiveDNLearner.java.svn-base │ │ │ ├── NaiveGDLearner.java.svn-base │ │ │ ├── SGDLearner.java.svn-base │ │ │ └── package.html.svn-base │ ├── DNLearner.java │ ├── Learner.java │ ├── Main.java │ ├── MultiCoreSGDLearner.java │ ├── NaiveDNLearner.java │ ├── NaiveGDLearner.java │ ├── SGDLearner.java │ └── package.html │ ├── main │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── Infer.java.svn-base │ │ │ ├── Main.java.svn-base │ │ │ ├── NonPartInfer.java.svn-base │ │ │ ├── PartInfer.java.svn-base │ │ │ └── package.html.svn-base │ ├── Infer.java │ ├── Main.java │ ├── NonPartInfer.java │ ├── PartInfer.java │ └── package.html │ ├── mln │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ └── package_mln.jpeg.svn-base │ │ └── text-base │ │ │ ├── Atom.java.svn-base │ │ │ ├── Clause.java.svn-base │ │ │ ├── Literal.java.svn-base │ │ │ ├── MarkovLogicNetwork.java.svn-base │ │ │ ├── Predicate.java.svn-base │ │ │ ├── Term.java.svn-base │ │ │ ├── Tuple.java.svn-base │ │ │ ├── Type.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── package_mln.jpeg.svn-base │ ├── Atom.java │ ├── Clause.java │ ├── Literal.java │ ├── MarkovLogicNetwork.java │ ├── Predicate.java │ ├── Term.java │ ├── Tuple.java │ ├── Type.java │ ├── package.html │ └── package_mln.jpeg │ ├── parse │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── CommandOptions.java.svn-base │ │ │ ├── Config.g.svn-base │ │ │ ├── Config.tokens.svn-base │ │ │ ├── ConfigLexer.java.svn-base │ │ │ ├── ConfigParser.java.svn-base │ │ │ ├── InputParser.java.svn-base │ │ │ ├── MLN.g.svn-base │ │ │ ├── MLN.tokens.svn-base │ │ │ ├── MLNLexer.java.svn-base │ │ │ ├── MLNParser.java.svn-base │ │ │ └── package.html.svn-base │ ├── CommandOptions.java │ ├── Config.g │ ├── Config.tokens │ ├── ConfigLexer.java │ ├── ConfigParser.java │ ├── InputParser.java │ ├── MLN.g │ ├── MLN.tokens │ ├── MLNLexer.java │ ├── MLNParser.java │ ├── antlr-home │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ └── entries │ │ └── lib │ │ │ ├── .svn │ │ │ ├── all-wcprops │ │ │ ├── entries │ │ │ ├── prop-base │ │ │ │ └── antlr-3.2.jar.svn-base │ │ │ └── text-base │ │ │ │ └── antlr-3.2.jar.svn-base │ │ │ └── antlr-3.2.jar │ └── package.html │ ├── ra │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── AtomEx.java.svn-base │ │ │ ├── ConjunctiveQuery.java.svn-base │ │ │ ├── Expression.java.svn-base │ │ │ ├── Function.java.svn-base │ │ │ └── package.html.svn-base │ ├── AtomEx.java │ ├── ConjunctiveQuery.java │ ├── Expression.java │ ├── Function.java │ └── package.html │ ├── sample │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ ├── DS_JunctionTree.java.svn-base │ │ │ ├── MRFSampleAlgorithm.java.svn-base │ │ │ ├── MRFSampleResult.java.svn-base │ │ │ ├── MRFSampleStatistic.java.svn-base │ │ │ ├── MRFSampler.java.svn-base │ │ │ ├── SampleAlgorithm_BruteForceEnumerate.java.svn-base │ │ │ ├── SampleAlgorithm_JunctionTree.java.svn-base │ │ │ ├── SampleAlgorithm_MCSAT.java.svn-base │ │ │ ├── SampleAlgorithm_MetropolisHastingsSampling.java.svn-base │ │ │ ├── SampleAlgorithm_NaiveSampling.java.svn-base │ │ │ ├── SampleAlgorithm_SerialMixture.java.svn-base │ │ │ ├── SampleStatistic_ClauseFreqViolation.java.svn-base │ │ │ ├── SampleStatistic_ClauseLogWeightedViolation.java.svn-base │ │ │ ├── SampleStatistic_WorldFrequency.java.svn-base │ │ │ ├── SampleStatistic_WorldLogWeight.java.svn-base │ │ │ ├── SampleStatistic_WorldSumLogWeight.java.svn-base │ │ │ └── SampleStatistic_Worlds.java.svn-base │ │ └── text-base │ │ │ ├── DS_JunctionTree.java.svn-base │ │ │ ├── MRFSampleAlgorithm.java.svn-base │ │ │ ├── MRFSampleResult.java.svn-base │ │ │ ├── MRFSampleStatistic.java.svn-base │ │ │ ├── MRFSampler.java.svn-base │ │ │ ├── SampleAlgorithm_BruteForceEnumerate.java.svn-base │ │ │ ├── SampleAlgorithm_JunctionTree.java.svn-base │ │ │ ├── SampleAlgorithm_MCSAT.java.svn-base │ │ │ ├── SampleAlgorithm_MetropolisHastingsSampling.java.svn-base │ │ │ ├── SampleAlgorithm_NaiveSampling.java.svn-base │ │ │ ├── SampleAlgorithm_SerialMixture.java.svn-base │ │ │ ├── SampleStatistic_ClauseFreqViolation.java.svn-base │ │ │ ├── SampleStatistic_ClauseLogWeightedViolation.java.svn-base │ │ │ ├── SampleStatistic_WorldFrequency.java.svn-base │ │ │ ├── SampleStatistic_WorldLogWeight.java.svn-base │ │ │ ├── SampleStatistic_WorldSumLogWeight.java.svn-base │ │ │ └── SampleStatistic_Worlds.java.svn-base │ ├── DS_JunctionTree.java │ ├── MRFSampleAlgorithm.java │ ├── MRFSampleResult.java │ ├── MRFSampleStatistic.java │ ├── MRFSampler.java │ ├── SampleAlgorithm_BruteForceEnumerate.java │ ├── SampleAlgorithm_JunctionTree.java │ ├── SampleAlgorithm_MCSAT.java │ ├── SampleAlgorithm_MetropolisHastingsSampling.java │ ├── SampleAlgorithm_NaiveSampling.java │ ├── SampleAlgorithm_SerialMixture.java │ ├── SampleStatistic_ClauseFreqViolation.java │ ├── SampleStatistic_ClauseLogWeightedViolation.java │ ├── SampleStatistic_WorldFrequency.java │ ├── SampleStatistic_WorldLogWeight.java │ ├── SampleStatistic_WorldSumLogWeight.java │ └── SampleStatistic_Worlds.java │ ├── test │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ └── text-base │ │ │ ├── AtomTest.java.svn-base │ │ │ ├── ClauseTest.java.svn-base │ │ │ ├── ConfigTest.java.svn-base │ │ │ ├── GAtomTest.java.svn-base │ │ │ ├── GClauseTest.java.svn-base │ │ │ ├── GroundingTest.java.svn-base │ │ │ ├── InferenceTest.java.svn-base │ │ │ ├── LearnerTest.java.svn-base │ │ │ ├── LiteralTest.java.svn-base │ │ │ ├── ParsingLoadingTest.java.svn-base │ │ │ ├── PredicateTest.java.svn-base │ │ │ ├── TermTest.java.svn-base │ │ │ ├── TupleTest.java.svn-base │ │ │ ├── TypeTest.java.svn-base │ │ │ └── package.html.svn-base │ ├── AtomTest.java │ ├── ClauseTest.java │ ├── ConfigTest.java │ ├── GAtomTest.java │ ├── GClauseTest.java │ ├── GroundingTest.java │ ├── InferenceTest.java │ ├── InferenceTest.java.stale │ ├── LearnerTest.java │ ├── LiteralTest.java │ ├── ParsingLoadingTest.java │ ├── PredicateTest.java │ ├── TermTest.java │ ├── TupleTest.java │ ├── TypeTest.java │ └── package.html │ ├── util │ ├── .svn │ │ ├── all-wcprops │ │ ├── entries │ │ ├── prop-base │ │ │ ├── Enumerator.java.svn-base │ │ │ └── myDouble.java.svn-base │ │ └── text-base │ │ │ ├── BatMan.java.svn-base │ │ │ ├── BitSetDoublePair.java.svn-base │ │ │ ├── BitSetIntPair.java.svn-base │ │ │ ├── BoundHashList.java.svn-base │ │ │ ├── Config.java.svn-base │ │ │ ├── DebugMan.java.svn-base │ │ │ ├── Enumerator.java.svn-base │ │ │ ├── ExceptionMan.java.svn-base │ │ │ ├── FileMan.java.svn-base │ │ │ ├── HashArray.java.svn-base │ │ │ ├── IronMan.java.svn-base │ │ │ ├── MathMan.java.svn-base │ │ │ ├── PlotMan.java.svn-base │ │ │ ├── ProbMan.java.svn-base │ │ │ ├── Settings.java.svn-base │ │ │ ├── SpiderMan.java.svn-base │ │ │ ├── StringMan.java.svn-base │ │ │ ├── SuperMan.java.svn-base │ │ │ ├── Timer.java.svn-base │ │ │ ├── TuffyThrownError.java.svn-base │ │ │ ├── UIMan.java.svn-base │ │ │ ├── UnionFind.java.svn-base │ │ │ ├── myDouble.java.svn-base │ │ │ ├── myInt.java.svn-base │ │ │ ├── package.html.svn-base │ │ │ └── runAllTestCases.java.svn-base │ ├── BatMan.java │ ├── BitSetDoublePair.java │ ├── BitSetIntPair.java │ ├── BoundHashList.java │ ├── Config.java │ ├── DebugMan.java │ ├── Enumerator.java │ ├── ExceptionMan.java │ ├── FileMan.java │ ├── HashArray.java │ ├── IronMan.java │ ├── MathMan.java │ ├── PlotMan.java │ ├── ProbMan.java │ ├── Settings.java │ ├── SpiderMan.java │ ├── StringMan.java │ ├── SuperMan.java │ ├── Timer.java │ ├── TuffyThrownError.java │ ├── UIMan.java │ ├── UnionFind.java │ ├── myDouble.java │ ├── myInt.java │ ├── package.html │ └── runAllTestCases.java │ └── worker │ ├── .svn │ ├── all-wcprops │ ├── entries │ ├── prop-base │ │ ├── MLEWorker.java.svn-base │ │ ├── MLEWorkerInstance.java.svn-base │ │ ├── MLEWorker_gibbsSampler.java.svn-base │ │ ├── MLEWorker_sgdWorker.java.svn-base │ │ └── Worker.java.svn-base │ └── text-base │ │ ├── MLEWorker.java.svn-base │ │ ├── MLEWorkerInstance.java.svn-base │ │ ├── MLEWorker_gibbsSampler.java.svn-base │ │ ├── MLEWorker_sgdWorker.java.svn-base │ │ └── Worker.java.svn-base │ ├── MLEWorker.java │ ├── MLEWorkerInstance.java │ ├── MLEWorker_gibbsSampler.java │ ├── MLEWorker_sgdWorker.java │ ├── Worker.java │ └── ds │ ├── .svn │ ├── all-wcprops │ ├── entries │ ├── prop-base │ │ └── MLEWorld.java.svn-base │ └── text-base │ │ └── MLEWorld.java.svn-base │ └── MLEWorld.java ├── test ├── .svn │ ├── all-wcprops │ ├── entries │ ├── prop-base │ │ └── toyevidence.db.gz.svn-base │ └── text-base │ │ ├── ie_evidence.db.svn-base │ │ ├── ie_prog.mln.svn-base │ │ ├── ie_query.db.svn-base │ │ ├── nlearningEvidence.db.svn-base │ │ ├── nlearningProg.mln.svn-base │ │ ├── nlearningQuery.db.svn-base │ │ ├── plearningevidence.db.svn-base │ │ ├── plearningprog.mln.svn-base │ │ ├── plearningquery.db.svn-base │ │ ├── rc1000_evidence.db.svn-base │ │ ├── rc1000_prog.mln.svn-base │ │ ├── rc1000_prog2.mln.svn-base │ │ ├── rc1000_query.db.svn-base │ │ ├── testOutput.txt.stats.svn-base │ │ ├── testOutput.txt.svn-base │ │ ├── testOutput.txt_coref_corefPred1.svn-base │ │ ├── testOutput.txt_coref_corefPred2.svn-base │ │ ├── testOutput.txt_coref_pcluster.svn-base │ │ ├── testOutput.txt_crf_crfPred.svn-base │ │ ├── testOutput.txt_crf_label1.svn-base │ │ ├── testOutput.txt_crf_label2.svn-base │ │ ├── testOutput.txt_lr_IamLR.svn-base │ │ ├── testOutput.txt_lr_label1.svn-base │ │ ├── testOutput.txt_lr_label2.svn-base │ │ ├── testOutput.txt_lr_lrPred2.svn-base │ │ ├── tmp.pl.svn-base │ │ ├── toyevidence.db.gz.svn-base │ │ ├── toyevidence.db.svn-base │ │ ├── toyprog.mln.svn-base │ │ ├── toyprog_no_close_world.mln.svn-base │ │ ├── toyquery.db.svn-base │ │ ├── toyquery2.db.svn-base │ │ ├── univ_evidence.db.svn-base │ │ ├── univ_prog.mln.svn-base │ │ └── univ_query.db.svn-base ├── ie_evidence.db ├── ie_prog.mln ├── ie_query.db ├── nlearningEvidence.db ├── nlearningProg.mln ├── nlearningQuery.db ├── plearningevidence.db ├── plearningprog.mln ├── plearningquery.db ├── rc1000_evidence.db ├── rc1000_prog.mln ├── rc1000_prog2.mln ├── rc1000_query.db ├── testOutput.txt ├── testOutput.txt.stats ├── testOutput.txt_coref_corefPred1 ├── testOutput.txt_coref_corefPred2 ├── testOutput.txt_coref_pcluster ├── testOutput.txt_crf_crfPred ├── testOutput.txt_crf_label1 ├── testOutput.txt_crf_label2 ├── testOutput.txt_lr_IamLR ├── testOutput.txt_lr_label1 ├── testOutput.txt_lr_label2 ├── testOutput.txt_lr_lrPred2 ├── tmp.pl ├── toyevidence.db ├── toyevidence.db.gz ├── toyprog.mln ├── toyprog_no_close_world.mln ├── toyquery.db ├── toyquery2.db ├── univ_evidence.db ├── univ_prog.mln └── univ_query.db └── tuffy.conf /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/README -------------------------------------------------------------------------------- /bin/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/db/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/db/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/db/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/db/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/db/RDB$1.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/db/RDB$1.class -------------------------------------------------------------------------------- /bin/tuffy/db/RDB.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/db/RDB.class -------------------------------------------------------------------------------- /bin/tuffy/db/SQLMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/db/SQLMan.class -------------------------------------------------------------------------------- /bin/tuffy/db/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/db/package.html -------------------------------------------------------------------------------- /bin/tuffy/ground/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ground/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/ground/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ground/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/ground/Grounding.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ground/Grounding.class -------------------------------------------------------------------------------- /bin/tuffy/ground/KBMC.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ground/KBMC.class -------------------------------------------------------------------------------- /bin/tuffy/ground/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ground/package.html -------------------------------------------------------------------------------- /bin/tuffy/helper/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/helper/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/helper/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/helper/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/helper/Stats.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/helper/Stats.class -------------------------------------------------------------------------------- /bin/tuffy/helper/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/helper/package.html -------------------------------------------------------------------------------- /bin/tuffy/infer/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/infer/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/infer/DataMover.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/DataMover.class -------------------------------------------------------------------------------- /bin/tuffy/infer/InferBucket.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/InferBucket.class -------------------------------------------------------------------------------- /bin/tuffy/infer/InferComponent.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/InferComponent.class -------------------------------------------------------------------------------- /bin/tuffy/infer/MRF$1.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/MRF$1.class -------------------------------------------------------------------------------- /bin/tuffy/infer/MRF$2.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/MRF$2.class -------------------------------------------------------------------------------- /bin/tuffy/infer/MRF$myDouble.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/MRF$myDouble.class -------------------------------------------------------------------------------- /bin/tuffy/infer/MRF.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/MRF.class -------------------------------------------------------------------------------- /bin/tuffy/infer/PGInfer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/PGInfer.class -------------------------------------------------------------------------------- /bin/tuffy/infer/ds/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/ds/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/infer/ds/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/ds/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/infer/ds/GAtom.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/ds/GAtom.class -------------------------------------------------------------------------------- /bin/tuffy/infer/ds/GClause.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/ds/GClause.class -------------------------------------------------------------------------------- /bin/tuffy/infer/ds/KeyBlock.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/ds/KeyBlock.class -------------------------------------------------------------------------------- /bin/tuffy/infer/ds/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/ds/package.html -------------------------------------------------------------------------------- /bin/tuffy/infer/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/package.html -------------------------------------------------------------------------------- /bin/tuffy/infer/package_infer.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/infer/package_infer.jpeg -------------------------------------------------------------------------------- /bin/tuffy/learn/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/learn/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/learn/.svn/prop-base/MultiCoreSGDLearner.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/learn/.svn/prop-base/SGDLearner.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/learn/DNLearner.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/DNLearner.class -------------------------------------------------------------------------------- /bin/tuffy/learn/Learner.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/Learner.class -------------------------------------------------------------------------------- /bin/tuffy/learn/Main.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/Main.class -------------------------------------------------------------------------------- /bin/tuffy/learn/NaiveDNLearner.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/NaiveDNLearner.class -------------------------------------------------------------------------------- /bin/tuffy/learn/NaiveGDLearner.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/NaiveGDLearner.class -------------------------------------------------------------------------------- /bin/tuffy/learn/SGDLearner.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/SGDLearner.class -------------------------------------------------------------------------------- /bin/tuffy/learn/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/learn/package.html -------------------------------------------------------------------------------- /bin/tuffy/main/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/main/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/main/Infer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/Infer.class -------------------------------------------------------------------------------- /bin/tuffy/main/Main.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/Main.class -------------------------------------------------------------------------------- /bin/tuffy/main/NonPartInfer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/NonPartInfer.class -------------------------------------------------------------------------------- /bin/tuffy/main/PartInfer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/PartInfer.class -------------------------------------------------------------------------------- /bin/tuffy/main/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/main/package.html -------------------------------------------------------------------------------- /bin/tuffy/mln/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/mln/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/mln/.svn/prop-base/package_mln.jpeg.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/mln/Atom$AtomType.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Atom$AtomType.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Atom.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Atom.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Clause.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Clause.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Literal$VarClique.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Literal$VarClique.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Literal.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Literal.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Predicate.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Predicate.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Term.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Term.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Tuple.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Tuple.class -------------------------------------------------------------------------------- /bin/tuffy/mln/Type.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/Type.class -------------------------------------------------------------------------------- /bin/tuffy/mln/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/package.html -------------------------------------------------------------------------------- /bin/tuffy/mln/package_mln.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/mln/package_mln.jpeg -------------------------------------------------------------------------------- /bin/tuffy/parse/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/parse/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/parse/.svn/text-base/Config.tokens.svn-base: -------------------------------------------------------------------------------- 1 | WS=4 2 | SPAN=6 3 | COMMENT=5 4 | T__7=7 5 | '='=7 6 | -------------------------------------------------------------------------------- /bin/tuffy/parse/CommandOptions.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/CommandOptions.class -------------------------------------------------------------------------------- /bin/tuffy/parse/Config.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/Config.g -------------------------------------------------------------------------------- /bin/tuffy/parse/Config.tokens: -------------------------------------------------------------------------------- 1 | WS=4 2 | SPAN=6 3 | COMMENT=5 4 | T__7=7 5 | '='=7 6 | -------------------------------------------------------------------------------- /bin/tuffy/parse/ConfigLexer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/ConfigLexer.class -------------------------------------------------------------------------------- /bin/tuffy/parse/ConfigParser.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/ConfigParser.class -------------------------------------------------------------------------------- /bin/tuffy/parse/InputParser.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/InputParser.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLN.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLN.g -------------------------------------------------------------------------------- /bin/tuffy/parse/MLN.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLN.tokens -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNLexer$DFA21.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNLexer$DFA21.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNLexer$DFA23.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNLexer$DFA23.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNLexer$DFA8.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNLexer$DFA8.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNLexer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNLexer.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA1.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA1.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA11.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA11.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA20.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA20.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA24.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA24.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA28.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA28.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA31.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA31.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA32.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA32.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA42.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA42.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser$DFA47.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser$DFA47.class -------------------------------------------------------------------------------- /bin/tuffy/parse/MLNParser.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/MLNParser.class -------------------------------------------------------------------------------- /bin/tuffy/parse/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/parse/package.html -------------------------------------------------------------------------------- /bin/tuffy/ra/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/ra/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/ra/AtomEx.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/AtomEx.class -------------------------------------------------------------------------------- /bin/tuffy/ra/ConjunctiveQuery.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/ConjunctiveQuery.class -------------------------------------------------------------------------------- /bin/tuffy/ra/Expression.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/Expression.class -------------------------------------------------------------------------------- /bin/tuffy/ra/Function.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/Function.class -------------------------------------------------------------------------------- /bin/tuffy/ra/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/ra/package.html -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/sample/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/sample/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/DS_JunctionTree.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/MRFSampleAlgorithm.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/MRFSampleResult.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/MRFSampleStatistic.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/MRFSampler.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/SampleAlgorithm_MCSAT.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/.svn/prop-base/SampleStatistic_Worlds.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/sample/MRFSampler.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/sample/MRFSampler.class -------------------------------------------------------------------------------- /bin/tuffy/test/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/test/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/test/AtomTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/AtomTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/ClauseTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/ClauseTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/ConfigTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/ConfigTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/GAtomTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/GAtomTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/GClauseTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/GClauseTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/GroundingTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/GroundingTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/InferenceTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/InferenceTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/LearnerTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/LearnerTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/LiteralTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/LiteralTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/PredicateTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/PredicateTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/TermTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/TermTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/TupleTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/TupleTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/TypeTest.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/TypeTest.class -------------------------------------------------------------------------------- /bin/tuffy/test/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/test/package.html -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/prop-base/Enumerator.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/prop-base/myDouble.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/text-base/BatMan.java.svn-base: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class BatMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/text-base/IronMan.java.svn-base: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class IronMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/text-base/SpiderMan.java.svn-base: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class SpiderMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /bin/tuffy/util/.svn/text-base/SuperMan.java.svn-base: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class SuperMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /bin/tuffy/util/BatMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/BatMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/BitSetDoublePair.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/BitSetDoublePair.class -------------------------------------------------------------------------------- /bin/tuffy/util/BitSetIntPair.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/BitSetIntPair.class -------------------------------------------------------------------------------- /bin/tuffy/util/BoundHashList.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/BoundHashList.class -------------------------------------------------------------------------------- /bin/tuffy/util/Config.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/Config.class -------------------------------------------------------------------------------- /bin/tuffy/util/DebugMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/DebugMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/Enumerator.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/Enumerator.class -------------------------------------------------------------------------------- /bin/tuffy/util/ExceptionMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/ExceptionMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/FileMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/FileMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/HashArray.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/HashArray.class -------------------------------------------------------------------------------- /bin/tuffy/util/IronMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/IronMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/MathMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/MathMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/PlotMan$TCPair.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/PlotMan$TCPair.class -------------------------------------------------------------------------------- /bin/tuffy/util/PlotMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/PlotMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/ProbMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/ProbMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/Settings.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/Settings.class -------------------------------------------------------------------------------- /bin/tuffy/util/SpiderMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/SpiderMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/StringMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/StringMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/SuperMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/SuperMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/Timer$RunStat.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/Timer$RunStat.class -------------------------------------------------------------------------------- /bin/tuffy/util/Timer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/Timer.class -------------------------------------------------------------------------------- /bin/tuffy/util/TuffyThrownError.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/TuffyThrownError.class -------------------------------------------------------------------------------- /bin/tuffy/util/UIMan.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/UIMan.class -------------------------------------------------------------------------------- /bin/tuffy/util/UnionFind$Record.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/UnionFind$Record.class -------------------------------------------------------------------------------- /bin/tuffy/util/UnionFind.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/UnionFind.class -------------------------------------------------------------------------------- /bin/tuffy/util/myDouble.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/myDouble.class -------------------------------------------------------------------------------- /bin/tuffy/util/myInt.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/myInt.class -------------------------------------------------------------------------------- /bin/tuffy/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/package.html -------------------------------------------------------------------------------- /bin/tuffy/util/runAllTestCases.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/util/runAllTestCases.class -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/prop-base/MLEWorker.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/prop-base/MLEWorkerInstance.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/prop-base/MLEWorker_gibbsSampler.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/prop-base/MLEWorker_sgdWorker.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/worker/.svn/prop-base/Worker.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/worker/MLEWorker.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/MLEWorker.class -------------------------------------------------------------------------------- /bin/tuffy/worker/Worker.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/Worker.class -------------------------------------------------------------------------------- /bin/tuffy/worker/ds/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/ds/.svn/all-wcprops -------------------------------------------------------------------------------- /bin/tuffy/worker/ds/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/ds/.svn/entries -------------------------------------------------------------------------------- /bin/tuffy/worker/ds/.svn/prop-base/MLEWorld.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /bin/tuffy/worker/ds/MLEWorld.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/bin/tuffy/worker/ds/MLEWorld.class -------------------------------------------------------------------------------- /doc/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/.svn/entries -------------------------------------------------------------------------------- /doc/allclasses-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/allclasses-frame.html -------------------------------------------------------------------------------- /doc/allclasses-noframe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/allclasses-noframe.html -------------------------------------------------------------------------------- /doc/constant-values.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/constant-values.html -------------------------------------------------------------------------------- /doc/db/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/db/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/.svn/entries -------------------------------------------------------------------------------- /doc/db/BDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/BDB.html -------------------------------------------------------------------------------- /doc/db/RDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/RDB.html -------------------------------------------------------------------------------- /doc/db/class-use/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/class-use/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/db/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/db/class-use/BDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/class-use/BDB.html -------------------------------------------------------------------------------- /doc/db/class-use/RDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/class-use/RDB.html -------------------------------------------------------------------------------- /doc/db/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/package-frame.html -------------------------------------------------------------------------------- /doc/db/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/package-summary.html -------------------------------------------------------------------------------- /doc/db/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/package-tree.html -------------------------------------------------------------------------------- /doc/db/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/db/package-use.html -------------------------------------------------------------------------------- /doc/deprecated-list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/deprecated-list.html -------------------------------------------------------------------------------- /doc/exp/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/exp/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/.svn/entries -------------------------------------------------------------------------------- /doc/exp/CoraCleaner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/CoraCleaner.html -------------------------------------------------------------------------------- /doc/exp/CoraParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/CoraParser.html -------------------------------------------------------------------------------- /doc/exp/KBProcessor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/KBProcessor.html -------------------------------------------------------------------------------- /doc/exp/LogParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/LogParser.html -------------------------------------------------------------------------------- /doc/exp/class-use/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/class-use/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/exp/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/exp/class-use/CoraCleaner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/class-use/CoraCleaner.html -------------------------------------------------------------------------------- /doc/exp/class-use/CoraParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/class-use/CoraParser.html -------------------------------------------------------------------------------- /doc/exp/class-use/KBProcessor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/class-use/KBProcessor.html -------------------------------------------------------------------------------- /doc/exp/class-use/LogParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/class-use/LogParser.html -------------------------------------------------------------------------------- /doc/exp/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/package-frame.html -------------------------------------------------------------------------------- /doc/exp/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/package-summary.html -------------------------------------------------------------------------------- /doc/exp/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/package-tree.html -------------------------------------------------------------------------------- /doc/exp/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/exp/package-use.html -------------------------------------------------------------------------------- /doc/grammar/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/grammar/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/.svn/entries -------------------------------------------------------------------------------- /doc/grammar/InputParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/InputParser.html -------------------------------------------------------------------------------- /doc/grammar/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/grammar/class-use/mlnLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/class-use/mlnLexer.html -------------------------------------------------------------------------------- /doc/grammar/class-use/mlnParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/class-use/mlnParser.html -------------------------------------------------------------------------------- /doc/grammar/mlnLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/mlnLexer.html -------------------------------------------------------------------------------- /doc/grammar/mlnParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/mlnParser.html -------------------------------------------------------------------------------- /doc/grammar/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/package-frame.html -------------------------------------------------------------------------------- /doc/grammar/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/package-summary.html -------------------------------------------------------------------------------- /doc/grammar/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/package-tree.html -------------------------------------------------------------------------------- /doc/grammar/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grammar/package-use.html -------------------------------------------------------------------------------- /doc/grounding/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/grounding/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/.svn/entries -------------------------------------------------------------------------------- /doc/grounding/Grounding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/Grounding.html -------------------------------------------------------------------------------- /doc/grounding/KBMC.AtomCutSet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/KBMC.AtomCutSet.html -------------------------------------------------------------------------------- /doc/grounding/KBMC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/KBMC.html -------------------------------------------------------------------------------- /doc/grounding/LazyGrounding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/LazyGrounding.html -------------------------------------------------------------------------------- /doc/grounding/Partitioning.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/Partitioning.html -------------------------------------------------------------------------------- /doc/grounding/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/grounding/class-use/KBMC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/class-use/KBMC.html -------------------------------------------------------------------------------- /doc/grounding/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/package-frame.html -------------------------------------------------------------------------------- /doc/grounding/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/package-summary.html -------------------------------------------------------------------------------- /doc/grounding/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/package-tree.html -------------------------------------------------------------------------------- /doc/grounding/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/grounding/package-use.html -------------------------------------------------------------------------------- /doc/help-doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/help-doc.html -------------------------------------------------------------------------------- /doc/index-files/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/index-files/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/.svn/entries -------------------------------------------------------------------------------- /doc/index-files/index-1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-1.html -------------------------------------------------------------------------------- /doc/index-files/index-10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-10.html -------------------------------------------------------------------------------- /doc/index-files/index-11.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-11.html -------------------------------------------------------------------------------- /doc/index-files/index-12.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-12.html -------------------------------------------------------------------------------- /doc/index-files/index-13.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-13.html -------------------------------------------------------------------------------- /doc/index-files/index-14.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-14.html -------------------------------------------------------------------------------- /doc/index-files/index-15.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-15.html -------------------------------------------------------------------------------- /doc/index-files/index-16.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-16.html -------------------------------------------------------------------------------- /doc/index-files/index-17.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-17.html -------------------------------------------------------------------------------- /doc/index-files/index-18.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-18.html -------------------------------------------------------------------------------- /doc/index-files/index-19.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-19.html -------------------------------------------------------------------------------- /doc/index-files/index-2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-2.html -------------------------------------------------------------------------------- /doc/index-files/index-20.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-20.html -------------------------------------------------------------------------------- /doc/index-files/index-21.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-21.html -------------------------------------------------------------------------------- /doc/index-files/index-22.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-22.html -------------------------------------------------------------------------------- /doc/index-files/index-23.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-23.html -------------------------------------------------------------------------------- /doc/index-files/index-24.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-24.html -------------------------------------------------------------------------------- /doc/index-files/index-25.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-25.html -------------------------------------------------------------------------------- /doc/index-files/index-3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-3.html -------------------------------------------------------------------------------- /doc/index-files/index-4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-4.html -------------------------------------------------------------------------------- /doc/index-files/index-5.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-5.html -------------------------------------------------------------------------------- /doc/index-files/index-6.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-6.html -------------------------------------------------------------------------------- /doc/index-files/index-7.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-7.html -------------------------------------------------------------------------------- /doc/index-files/index-8.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-8.html -------------------------------------------------------------------------------- /doc/index-files/index-9.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index-files/index-9.html -------------------------------------------------------------------------------- /doc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/index.html -------------------------------------------------------------------------------- /doc/infer/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/infer/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/.svn/entries -------------------------------------------------------------------------------- /doc/infer/BDBAtomEntry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBAtomEntry.html -------------------------------------------------------------------------------- /doc/infer/BDBClauseEntry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBClauseEntry.html -------------------------------------------------------------------------------- /doc/infer/BDBMCSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBMCSAT.html -------------------------------------------------------------------------------- /doc/infer/BDBStore.AtomBinding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBStore.AtomBinding.html -------------------------------------------------------------------------------- /doc/infer/BDBStore.AtomEntry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBStore.AtomEntry.html -------------------------------------------------------------------------------- /doc/infer/BDBStore.BitBinding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBStore.BitBinding.html -------------------------------------------------------------------------------- /doc/infer/BDBStore.BitEntry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBStore.BitEntry.html -------------------------------------------------------------------------------- /doc/infer/BDBStore.ClauseType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBStore.ClauseType.html -------------------------------------------------------------------------------- /doc/infer/BDBStore.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBStore.html -------------------------------------------------------------------------------- /doc/infer/BDBSweepSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBSweepSAT.html -------------------------------------------------------------------------------- /doc/infer/BDBWalkSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/BDBWalkSAT.html -------------------------------------------------------------------------------- /doc/infer/Component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/Component.html -------------------------------------------------------------------------------- /doc/infer/Infer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/Infer.html -------------------------------------------------------------------------------- /doc/infer/InferDual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/InferDual.html -------------------------------------------------------------------------------- /doc/infer/InferMAP.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/InferMAP.html -------------------------------------------------------------------------------- /doc/infer/InferMarginal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/InferMarginal.html -------------------------------------------------------------------------------- /doc/infer/MCSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/MCSAT.html -------------------------------------------------------------------------------- /doc/infer/MRF.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/MRF.html -------------------------------------------------------------------------------- /doc/infer/MZone.CompThread.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/MZone.CompThread.html -------------------------------------------------------------------------------- /doc/infer/MZone.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/MZone.html -------------------------------------------------------------------------------- /doc/infer/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/Main.html -------------------------------------------------------------------------------- /doc/infer/PGInfer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/PGInfer.html -------------------------------------------------------------------------------- /doc/infer/PSQLSweepSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/PSQLSweepSAT.html -------------------------------------------------------------------------------- /doc/infer/PSQLWalkSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/PSQLWalkSAT.html -------------------------------------------------------------------------------- /doc/infer/PartInfer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/PartInfer.html -------------------------------------------------------------------------------- /doc/infer/PartMap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/PartMap.html -------------------------------------------------------------------------------- /doc/infer/Partition.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/Partition.html -------------------------------------------------------------------------------- /doc/infer/Stats.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/Stats.html -------------------------------------------------------------------------------- /doc/infer/SweepSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/SweepSAT.html -------------------------------------------------------------------------------- /doc/infer/TestPartTradeoff.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/TestPartTradeoff.html -------------------------------------------------------------------------------- /doc/infer/WalkSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/WalkSAT.html -------------------------------------------------------------------------------- /doc/infer/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/infer/class-use/BDBMCSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/BDBMCSAT.html -------------------------------------------------------------------------------- /doc/infer/class-use/BDBStore.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/BDBStore.html -------------------------------------------------------------------------------- /doc/infer/class-use/Component.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/Component.html -------------------------------------------------------------------------------- /doc/infer/class-use/Infer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/Infer.html -------------------------------------------------------------------------------- /doc/infer/class-use/InferDual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/InferDual.html -------------------------------------------------------------------------------- /doc/infer/class-use/InferMAP.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/InferMAP.html -------------------------------------------------------------------------------- /doc/infer/class-use/MCSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/MCSAT.html -------------------------------------------------------------------------------- /doc/infer/class-use/MRF.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/MRF.html -------------------------------------------------------------------------------- /doc/infer/class-use/MZone.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/MZone.html -------------------------------------------------------------------------------- /doc/infer/class-use/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/Main.html -------------------------------------------------------------------------------- /doc/infer/class-use/PGInfer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/PGInfer.html -------------------------------------------------------------------------------- /doc/infer/class-use/PartInfer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/PartInfer.html -------------------------------------------------------------------------------- /doc/infer/class-use/PartMap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/PartMap.html -------------------------------------------------------------------------------- /doc/infer/class-use/Partition.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/Partition.html -------------------------------------------------------------------------------- /doc/infer/class-use/Stats.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/Stats.html -------------------------------------------------------------------------------- /doc/infer/class-use/SweepSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/SweepSAT.html -------------------------------------------------------------------------------- /doc/infer/class-use/WalkSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/class-use/WalkSAT.html -------------------------------------------------------------------------------- /doc/infer/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/package-frame.html -------------------------------------------------------------------------------- /doc/infer/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/package-summary.html -------------------------------------------------------------------------------- /doc/infer/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/package-tree.html -------------------------------------------------------------------------------- /doc/infer/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/infer/package-use.html -------------------------------------------------------------------------------- /doc/learn/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/learn/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/.svn/entries -------------------------------------------------------------------------------- /doc/learn/BetterDNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/BetterDNLearner.html -------------------------------------------------------------------------------- /doc/learn/DNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/DNLearner.html -------------------------------------------------------------------------------- /doc/learn/Learner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/Learner.html -------------------------------------------------------------------------------- /doc/learn/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/Main.html -------------------------------------------------------------------------------- /doc/learn/NaiveDNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/NaiveDNLearner.html -------------------------------------------------------------------------------- /doc/learn/NaiveGDLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/NaiveGDLearner.html -------------------------------------------------------------------------------- /doc/learn/WeightLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/WeightLearner.html -------------------------------------------------------------------------------- /doc/learn/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/learn/class-use/DNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/class-use/DNLearner.html -------------------------------------------------------------------------------- /doc/learn/class-use/Learner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/class-use/Learner.html -------------------------------------------------------------------------------- /doc/learn/class-use/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/class-use/Main.html -------------------------------------------------------------------------------- /doc/learn/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/package-frame.html -------------------------------------------------------------------------------- /doc/learn/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/package-summary.html -------------------------------------------------------------------------------- /doc/learn/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/package-tree.html -------------------------------------------------------------------------------- /doc/learn/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/learn/package-use.html -------------------------------------------------------------------------------- /doc/mln/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/mln/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/.svn/entries -------------------------------------------------------------------------------- /doc/mln/Atom.AtomType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Atom.AtomType.html -------------------------------------------------------------------------------- /doc/mln/Atom.PType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Atom.PType.html -------------------------------------------------------------------------------- /doc/mln/Atom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Atom.html -------------------------------------------------------------------------------- /doc/mln/AtomCutSet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/AtomCutSet.html -------------------------------------------------------------------------------- /doc/mln/AtomEx.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/AtomEx.html -------------------------------------------------------------------------------- /doc/mln/AtomTuple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/AtomTuple.html -------------------------------------------------------------------------------- /doc/mln/Clause.ClauseInstance.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Clause.ClauseInstance.html -------------------------------------------------------------------------------- /doc/mln/Clause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Clause.html -------------------------------------------------------------------------------- /doc/mln/ClauseNormalizerTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/ClauseNormalizerTest.html -------------------------------------------------------------------------------- /doc/mln/ConjunctiveQuery.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/ConjunctiveQuery.html -------------------------------------------------------------------------------- /doc/mln/Expression.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Expression.html -------------------------------------------------------------------------------- /doc/mln/Function.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Function.html -------------------------------------------------------------------------------- /doc/mln/GAtom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/GAtom.html -------------------------------------------------------------------------------- /doc/mln/GClause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/GClause.html -------------------------------------------------------------------------------- /doc/mln/InferBDB.AtomBinding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/InferBDB.AtomBinding.html -------------------------------------------------------------------------------- /doc/mln/InferBDB.AtomEntry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/InferBDB.AtomEntry.html -------------------------------------------------------------------------------- /doc/mln/InferBDB.ClauseType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/InferBDB.ClauseType.html -------------------------------------------------------------------------------- /doc/mln/InferBDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/InferBDB.html -------------------------------------------------------------------------------- /doc/mln/KBMC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/KBMC.html -------------------------------------------------------------------------------- /doc/mln/KBMCL.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/KBMCL.html -------------------------------------------------------------------------------- /doc/mln/LazySAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/LazySAT.html -------------------------------------------------------------------------------- /doc/mln/Literal.VarClique.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Literal.VarClique.html -------------------------------------------------------------------------------- /doc/mln/Literal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Literal.html -------------------------------------------------------------------------------- /doc/mln/MarkovLogic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/MarkovLogic.html -------------------------------------------------------------------------------- /doc/mln/MarkovLogicNetwork.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/MarkovLogicNetwork.html -------------------------------------------------------------------------------- /doc/mln/MaxWalkSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/MaxWalkSAT.html -------------------------------------------------------------------------------- /doc/mln/Predicate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Predicate.html -------------------------------------------------------------------------------- /doc/mln/Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Term.html -------------------------------------------------------------------------------- /doc/mln/Tuple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Tuple.html -------------------------------------------------------------------------------- /doc/mln/Type.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/Type.html -------------------------------------------------------------------------------- /doc/mln/class-use/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/mln/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/mln/class-use/Atom.PType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Atom.PType.html -------------------------------------------------------------------------------- /doc/mln/class-use/Atom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Atom.html -------------------------------------------------------------------------------- /doc/mln/class-use/AtomCutSet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/AtomCutSet.html -------------------------------------------------------------------------------- /doc/mln/class-use/AtomEx.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/AtomEx.html -------------------------------------------------------------------------------- /doc/mln/class-use/AtomTuple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/AtomTuple.html -------------------------------------------------------------------------------- /doc/mln/class-use/Clause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Clause.html -------------------------------------------------------------------------------- /doc/mln/class-use/Expression.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Expression.html -------------------------------------------------------------------------------- /doc/mln/class-use/Function.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Function.html -------------------------------------------------------------------------------- /doc/mln/class-use/GAtom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/GAtom.html -------------------------------------------------------------------------------- /doc/mln/class-use/GClause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/GClause.html -------------------------------------------------------------------------------- /doc/mln/class-use/InferBDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/InferBDB.html -------------------------------------------------------------------------------- /doc/mln/class-use/KBMC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/KBMC.html -------------------------------------------------------------------------------- /doc/mln/class-use/KBMCL.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/KBMCL.html -------------------------------------------------------------------------------- /doc/mln/class-use/LazySAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/LazySAT.html -------------------------------------------------------------------------------- /doc/mln/class-use/Literal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Literal.html -------------------------------------------------------------------------------- /doc/mln/class-use/MarkovLogic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/MarkovLogic.html -------------------------------------------------------------------------------- /doc/mln/class-use/MaxWalkSAT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/MaxWalkSAT.html -------------------------------------------------------------------------------- /doc/mln/class-use/Predicate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Predicate.html -------------------------------------------------------------------------------- /doc/mln/class-use/Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Term.html -------------------------------------------------------------------------------- /doc/mln/class-use/Tuple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Tuple.html -------------------------------------------------------------------------------- /doc/mln/class-use/Type.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/class-use/Type.html -------------------------------------------------------------------------------- /doc/mln/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/package-frame.html -------------------------------------------------------------------------------- /doc/mln/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/package-summary.html -------------------------------------------------------------------------------- /doc/mln/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/package-tree.html -------------------------------------------------------------------------------- /doc/mln/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/mln/package-use.html -------------------------------------------------------------------------------- /doc/overview-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/overview-frame.html -------------------------------------------------------------------------------- /doc/overview-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/overview-summary.html -------------------------------------------------------------------------------- /doc/overview-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/overview-tree.html -------------------------------------------------------------------------------- /doc/package-list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/package-list -------------------------------------------------------------------------------- /doc/parser/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/parser/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/.svn/entries -------------------------------------------------------------------------------- /doc/parser/CommandOptions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/CommandOptions.html -------------------------------------------------------------------------------- /doc/parser/ConfigLexer.DFA15.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/ConfigLexer.DFA15.html -------------------------------------------------------------------------------- /doc/parser/ConfigLexer.DFA2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/ConfigLexer.DFA2.html -------------------------------------------------------------------------------- /doc/parser/ConfigLexer.DFA20.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/ConfigLexer.DFA20.html -------------------------------------------------------------------------------- /doc/parser/ConfigLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/ConfigLexer.html -------------------------------------------------------------------------------- /doc/parser/ConfigParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/ConfigParser.html -------------------------------------------------------------------------------- /doc/parser/InputParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/InputParser.html -------------------------------------------------------------------------------- /doc/parser/InputParserTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/InputParserTest.html -------------------------------------------------------------------------------- /doc/parser/MLNLexer.DFA23.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNLexer.DFA23.html -------------------------------------------------------------------------------- /doc/parser/MLNLexer.DFA8.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNLexer.DFA8.html -------------------------------------------------------------------------------- /doc/parser/MLNLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNLexer.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.DFA11.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.DFA11.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.DFA14.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.DFA14.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.DFA15.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.DFA15.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.DFA25.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.DFA25.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.DFA30.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.DFA30.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.DFA4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.DFA4.html -------------------------------------------------------------------------------- /doc/parser/MLNParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/MLNParser.html -------------------------------------------------------------------------------- /doc/parser/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/parser/class-use/MLNLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/class-use/MLNLexer.html -------------------------------------------------------------------------------- /doc/parser/mlnLexer.DFA1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/mlnLexer.DFA1.html -------------------------------------------------------------------------------- /doc/parser/mlnLexer.DFA14.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/mlnLexer.DFA14.html -------------------------------------------------------------------------------- /doc/parser/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/package-frame.html -------------------------------------------------------------------------------- /doc/parser/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/package-summary.html -------------------------------------------------------------------------------- /doc/parser/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/package-tree.html -------------------------------------------------------------------------------- /doc/parser/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/parser/package-use.html -------------------------------------------------------------------------------- /doc/resources/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/resources/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/resources/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/resources/.svn/entries -------------------------------------------------------------------------------- /doc/resources/.svn/prop-base/inherit.gif.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /doc/resources/inherit.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/resources/inherit.gif -------------------------------------------------------------------------------- /doc/serialized-form.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/serialized-form.html -------------------------------------------------------------------------------- /doc/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/stylesheet.css -------------------------------------------------------------------------------- /doc/test/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/test/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/.svn/entries -------------------------------------------------------------------------------- /doc/test/AtomCutSetTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/AtomCutSetTest.html -------------------------------------------------------------------------------- /doc/test/AtomTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/AtomTest.html -------------------------------------------------------------------------------- /doc/test/ClauseTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/ClauseTest.html -------------------------------------------------------------------------------- /doc/test/ConfigTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/ConfigTest.html -------------------------------------------------------------------------------- /doc/test/GAtomTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/GAtomTest.html -------------------------------------------------------------------------------- /doc/test/GClauseTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/GClauseTest.html -------------------------------------------------------------------------------- /doc/test/GroundingTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/GroundingTest.html -------------------------------------------------------------------------------- /doc/test/InferenceTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/InferenceTest.html -------------------------------------------------------------------------------- /doc/test/LearnerTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/LearnerTest.html -------------------------------------------------------------------------------- /doc/test/LiteralTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/LiteralTest.html -------------------------------------------------------------------------------- /doc/test/MCSATTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/MCSATTest.html -------------------------------------------------------------------------------- /doc/test/ParsingLoadingTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/ParsingLoadingTest.html -------------------------------------------------------------------------------- /doc/test/PredicateTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/PredicateTest.html -------------------------------------------------------------------------------- /doc/test/TermTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/TermTest.html -------------------------------------------------------------------------------- /doc/test/TupleTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/TupleTest.html -------------------------------------------------------------------------------- /doc/test/TypeTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/TypeTest.html -------------------------------------------------------------------------------- /doc/test/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/test/class-use/AtomTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/AtomTest.html -------------------------------------------------------------------------------- /doc/test/class-use/ClauseTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/ClauseTest.html -------------------------------------------------------------------------------- /doc/test/class-use/ConfigTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/ConfigTest.html -------------------------------------------------------------------------------- /doc/test/class-use/GAtomTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/GAtomTest.html -------------------------------------------------------------------------------- /doc/test/class-use/MCSATTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/MCSATTest.html -------------------------------------------------------------------------------- /doc/test/class-use/TermTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/TermTest.html -------------------------------------------------------------------------------- /doc/test/class-use/TupleTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/TupleTest.html -------------------------------------------------------------------------------- /doc/test/class-use/TypeTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/class-use/TypeTest.html -------------------------------------------------------------------------------- /doc/test/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/package-frame.html -------------------------------------------------------------------------------- /doc/test/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/package-summary.html -------------------------------------------------------------------------------- /doc/test/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/package-tree.html -------------------------------------------------------------------------------- /doc/test/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/test/package-use.html -------------------------------------------------------------------------------- /doc/tmpLearn/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tmpLearn/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/.svn/entries -------------------------------------------------------------------------------- /doc/tmpLearn/BetterDNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/BetterDNLearner.html -------------------------------------------------------------------------------- /doc/tmpLearn/Learner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/Learner.html -------------------------------------------------------------------------------- /doc/tmpLearn/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/Main.html -------------------------------------------------------------------------------- /doc/tmpLearn/NaiveDNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/NaiveDNLearner.html -------------------------------------------------------------------------------- /doc/tmpLearn/NaiveGDLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/NaiveGDLearner.html -------------------------------------------------------------------------------- /doc/tmpLearn/class-use/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/class-use/Main.html -------------------------------------------------------------------------------- /doc/tmpLearn/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/package-frame.html -------------------------------------------------------------------------------- /doc/tmpLearn/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/package-summary.html -------------------------------------------------------------------------------- /doc/tmpLearn/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/package-tree.html -------------------------------------------------------------------------------- /doc/tmpLearn/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tmpLearn/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/db/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/db/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/db/RDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/RDB.html -------------------------------------------------------------------------------- /doc/tuffy/db/SQLMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/SQLMan.html -------------------------------------------------------------------------------- /doc/tuffy/db/class-use/RDB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/class-use/RDB.html -------------------------------------------------------------------------------- /doc/tuffy/db/class-use/SQLMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/class-use/SQLMan.html -------------------------------------------------------------------------------- /doc/tuffy/db/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/db/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/package-summary.html -------------------------------------------------------------------------------- /doc/tuffy/db/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/db/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/db/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/ground/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ground/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/ground/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ground/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/ground/Grounding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ground/Grounding.html -------------------------------------------------------------------------------- /doc/tuffy/ground/KBMC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ground/KBMC.html -------------------------------------------------------------------------------- /doc/tuffy/ground/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ground/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/ground/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ground/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/helper/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/helper/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/helper/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/helper/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/helper/Stats.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/helper/Stats.html -------------------------------------------------------------------------------- /doc/tuffy/helper/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/helper/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/helper/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/helper/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/infer/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/infer/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/infer/DataMover.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/DataMover.html -------------------------------------------------------------------------------- /doc/tuffy/infer/InferBucket.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/InferBucket.html -------------------------------------------------------------------------------- /doc/tuffy/infer/MRF.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/MRF.html -------------------------------------------------------------------------------- /doc/tuffy/infer/class-use/MRF.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/class-use/MRF.html -------------------------------------------------------------------------------- /doc/tuffy/infer/ds/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/ds/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/infer/ds/GAtom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/ds/GAtom.html -------------------------------------------------------------------------------- /doc/tuffy/infer/ds/GClause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/ds/GClause.html -------------------------------------------------------------------------------- /doc/tuffy/infer/ds/KeyBlock.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/ds/KeyBlock.html -------------------------------------------------------------------------------- /doc/tuffy/infer/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/infer/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/infer/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/infer/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/learn/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/learn/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/learn/DNLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/DNLearner.html -------------------------------------------------------------------------------- /doc/tuffy/learn/Learner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/Learner.html -------------------------------------------------------------------------------- /doc/tuffy/learn/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/Main.html -------------------------------------------------------------------------------- /doc/tuffy/learn/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/learn/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/learn/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/learn/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/main/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/main/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/main/Infer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/Infer.html -------------------------------------------------------------------------------- /doc/tuffy/main/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/Main.html -------------------------------------------------------------------------------- /doc/tuffy/main/NonPartInfer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/NonPartInfer.html -------------------------------------------------------------------------------- /doc/tuffy/main/PartInfer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/PartInfer.html -------------------------------------------------------------------------------- /doc/tuffy/main/class-use/Main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/class-use/Main.html -------------------------------------------------------------------------------- /doc/tuffy/main/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/main/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/main/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/main/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/mln/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/mln/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/mln/Atom.AtomType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Atom.AtomType.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Atom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Atom.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Clause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Clause.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Literal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Literal.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Predicate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Predicate.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Term.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Tuple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Tuple.html -------------------------------------------------------------------------------- /doc/tuffy/mln/Type.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/Type.html -------------------------------------------------------------------------------- /doc/tuffy/mln/class-use/Atom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/class-use/Atom.html -------------------------------------------------------------------------------- /doc/tuffy/mln/class-use/Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/class-use/Term.html -------------------------------------------------------------------------------- /doc/tuffy/mln/class-use/Tuple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/class-use/Tuple.html -------------------------------------------------------------------------------- /doc/tuffy/mln/class-use/Type.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/class-use/Type.html -------------------------------------------------------------------------------- /doc/tuffy/mln/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/mln/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/package-summary.html -------------------------------------------------------------------------------- /doc/tuffy/mln/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/mln/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/mln/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/parse/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/parse/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/parse/ConfigLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/ConfigLexer.html -------------------------------------------------------------------------------- /doc/tuffy/parse/ConfigParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/ConfigParser.html -------------------------------------------------------------------------------- /doc/tuffy/parse/InputParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/InputParser.html -------------------------------------------------------------------------------- /doc/tuffy/parse/MLNLexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/MLNLexer.html -------------------------------------------------------------------------------- /doc/tuffy/parse/MLNParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/MLNParser.html -------------------------------------------------------------------------------- /doc/tuffy/parse/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/parse/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/parse/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/parse/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/ra/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/ra/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/ra/AtomEx.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/AtomEx.html -------------------------------------------------------------------------------- /doc/tuffy/ra/ConjunctiveQuery.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/ConjunctiveQuery.html -------------------------------------------------------------------------------- /doc/tuffy/ra/Expression.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/Expression.html -------------------------------------------------------------------------------- /doc/tuffy/ra/Function.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/Function.html -------------------------------------------------------------------------------- /doc/tuffy/ra/class-use/AtomEx.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/class-use/AtomEx.html -------------------------------------------------------------------------------- /doc/tuffy/ra/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/ra/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/package-summary.html -------------------------------------------------------------------------------- /doc/tuffy/ra/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/ra/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/ra/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/test/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/test/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/test/AtomTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/AtomTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/ClauseTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/ClauseTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/ConfigTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/ConfigTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/GAtomTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/GAtomTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/GClauseTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/GClauseTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/GroundingTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/GroundingTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/InferenceTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/InferenceTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/LearnerTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/LearnerTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/LiteralTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/LiteralTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/PredicateTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/PredicateTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/TermTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/TermTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/TupleTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/TupleTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/TypeTest.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/TypeTest.html -------------------------------------------------------------------------------- /doc/tuffy/test/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/test/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/test/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/test/package-use.html -------------------------------------------------------------------------------- /doc/tuffy/util/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/tuffy/util/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/.svn/entries -------------------------------------------------------------------------------- /doc/tuffy/util/BatMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/BatMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/BoundHashList.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/BoundHashList.html -------------------------------------------------------------------------------- /doc/tuffy/util/Config.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/Config.html -------------------------------------------------------------------------------- /doc/tuffy/util/DebugMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/DebugMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/ExceptionMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/ExceptionMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/FileMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/FileMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/HashArray.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/HashArray.html -------------------------------------------------------------------------------- /doc/tuffy/util/IronMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/IronMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/MathMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/MathMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/PlotMan.TCPair.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/PlotMan.TCPair.html -------------------------------------------------------------------------------- /doc/tuffy/util/PlotMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/PlotMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/ProbMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/ProbMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/Settings.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/Settings.html -------------------------------------------------------------------------------- /doc/tuffy/util/SpiderMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/SpiderMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/StringMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/StringMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/SuperMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/SuperMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/Timer.RunStat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/Timer.RunStat.html -------------------------------------------------------------------------------- /doc/tuffy/util/Timer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/Timer.html -------------------------------------------------------------------------------- /doc/tuffy/util/UIMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/UIMan.html -------------------------------------------------------------------------------- /doc/tuffy/util/UnionFind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/UnionFind.html -------------------------------------------------------------------------------- /doc/tuffy/util/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/package-frame.html -------------------------------------------------------------------------------- /doc/tuffy/util/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/package-tree.html -------------------------------------------------------------------------------- /doc/tuffy/util/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/tuffy/util/package-use.html -------------------------------------------------------------------------------- /doc/util/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/.svn/all-wcprops -------------------------------------------------------------------------------- /doc/util/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/.svn/entries -------------------------------------------------------------------------------- /doc/util/BatMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/BatMan.html -------------------------------------------------------------------------------- /doc/util/BoundHashList.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/BoundHashList.html -------------------------------------------------------------------------------- /doc/util/CommandOptions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/CommandOptions.html -------------------------------------------------------------------------------- /doc/util/Config.INIT_STRATEGY.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/Config.INIT_STRATEGY.html -------------------------------------------------------------------------------- /doc/util/Config.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/Config.html -------------------------------------------------------------------------------- /doc/util/Config.test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/Config.test.html -------------------------------------------------------------------------------- /doc/util/DebugMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/DebugMan.html -------------------------------------------------------------------------------- /doc/util/ExceptionMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/ExceptionMan.html -------------------------------------------------------------------------------- /doc/util/FileMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/FileMan.html -------------------------------------------------------------------------------- /doc/util/HashArray.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/HashArray.html -------------------------------------------------------------------------------- /doc/util/IronMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/IronMan.html -------------------------------------------------------------------------------- /doc/util/MathMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/MathMan.html -------------------------------------------------------------------------------- /doc/util/PlotMan.TCPair.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/PlotMan.TCPair.html -------------------------------------------------------------------------------- /doc/util/PlotMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/PlotMan.html -------------------------------------------------------------------------------- /doc/util/ProbMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/ProbMan.html -------------------------------------------------------------------------------- /doc/util/SQLMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/SQLMan.html -------------------------------------------------------------------------------- /doc/util/SpiderMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/SpiderMan.html -------------------------------------------------------------------------------- /doc/util/StringMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/StringMan.html -------------------------------------------------------------------------------- /doc/util/SuperMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/SuperMan.html -------------------------------------------------------------------------------- /doc/util/Timer.RunStat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/Timer.RunStat.html -------------------------------------------------------------------------------- /doc/util/Timer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/Timer.html -------------------------------------------------------------------------------- /doc/util/UIMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/UIMan.html -------------------------------------------------------------------------------- /doc/util/UnionFind.Record.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/UnionFind.Record.html -------------------------------------------------------------------------------- /doc/util/UnionFind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/UnionFind.html -------------------------------------------------------------------------------- /doc/util/class-use/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/.svn/entries -------------------------------------------------------------------------------- /doc/util/class-use/BatMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/BatMan.html -------------------------------------------------------------------------------- /doc/util/class-use/Config.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/Config.html -------------------------------------------------------------------------------- /doc/util/class-use/DebugMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/DebugMan.html -------------------------------------------------------------------------------- /doc/util/class-use/FileMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/FileMan.html -------------------------------------------------------------------------------- /doc/util/class-use/HashArray.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/HashArray.html -------------------------------------------------------------------------------- /doc/util/class-use/IronMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/IronMan.html -------------------------------------------------------------------------------- /doc/util/class-use/MathMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/MathMan.html -------------------------------------------------------------------------------- /doc/util/class-use/PlotMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/PlotMan.html -------------------------------------------------------------------------------- /doc/util/class-use/ProbMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/ProbMan.html -------------------------------------------------------------------------------- /doc/util/class-use/SQLMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/SQLMan.html -------------------------------------------------------------------------------- /doc/util/class-use/SpiderMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/SpiderMan.html -------------------------------------------------------------------------------- /doc/util/class-use/StringMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/StringMan.html -------------------------------------------------------------------------------- /doc/util/class-use/SuperMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/SuperMan.html -------------------------------------------------------------------------------- /doc/util/class-use/Timer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/Timer.html -------------------------------------------------------------------------------- /doc/util/class-use/UIMan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/UIMan.html -------------------------------------------------------------------------------- /doc/util/class-use/UnionFind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/class-use/UnionFind.html -------------------------------------------------------------------------------- /doc/util/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/package-frame.html -------------------------------------------------------------------------------- /doc/util/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/package-summary.html -------------------------------------------------------------------------------- /doc/util/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/package-tree.html -------------------------------------------------------------------------------- /doc/util/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/doc/util/package-use.html -------------------------------------------------------------------------------- /lib/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/.svn/all-wcprops -------------------------------------------------------------------------------- /lib/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/.svn/entries -------------------------------------------------------------------------------- /lib/.svn/prop-base/JavaEWAH-0.3.2.jar.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /lib/.svn/prop-base/antlr-3.2.jar.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /lib/.svn/prop-base/args4j-2.0.12.jar.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /lib/.svn/prop-base/commons-codec-1.6.jar.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /lib/.svn/prop-base/commons-math-2.2.jar.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /lib/.svn/prop-base/jgrapht-jdk1.6.jar.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /lib/JavaEWAH-0.3.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/JavaEWAH-0.3.2.jar -------------------------------------------------------------------------------- /lib/antlr-3.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/antlr-3.2.jar -------------------------------------------------------------------------------- /lib/args4j-2.0.12.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/args4j-2.0.12.jar -------------------------------------------------------------------------------- /lib/commons-codec-1.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/commons-codec-1.6.jar -------------------------------------------------------------------------------- /lib/commons-lang3-3.0-beta.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/commons-lang3-3.0-beta.jar -------------------------------------------------------------------------------- /lib/commons-math-2.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/commons-math-2.2.jar -------------------------------------------------------------------------------- /lib/jgrapht-jdk1.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/jgrapht-jdk1.6.jar -------------------------------------------------------------------------------- /lib/junit-4.9.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/junit-4.9.jar -------------------------------------------------------------------------------- /lib/postgresql-8.4-701.jdbc4.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/lib/postgresql-8.4-701.jdbc4.jar -------------------------------------------------------------------------------- /samples/USAGE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/USAGE.txt -------------------------------------------------------------------------------- /samples/class/evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/class/evidence.db -------------------------------------------------------------------------------- /samples/class/prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/class/prog.mln -------------------------------------------------------------------------------- /samples/class/query.db: -------------------------------------------------------------------------------- 1 | category(p,x) -------------------------------------------------------------------------------- /samples/cse/evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/cse/evidence.db -------------------------------------------------------------------------------- /samples/cse/prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/cse/prog.mln -------------------------------------------------------------------------------- /samples/cse/query.db: -------------------------------------------------------------------------------- 1 | advisedBy(x,y) -------------------------------------------------------------------------------- /samples/ie/evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/ie/evidence.db -------------------------------------------------------------------------------- /samples/ie/prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/ie/prog.mln -------------------------------------------------------------------------------- /samples/ie/query.db: -------------------------------------------------------------------------------- 1 | SameBib(x,y) 2 | InField(i,f,c) -------------------------------------------------------------------------------- /samples/rc1000/evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/rc1000/evidence.db -------------------------------------------------------------------------------- /samples/rc1000/prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/rc1000/prog.mln -------------------------------------------------------------------------------- /samples/rc1000/prog.mln~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/rc1000/prog.mln~ -------------------------------------------------------------------------------- /samples/rc1000/query.db: -------------------------------------------------------------------------------- 1 | category(x,y) 2 | 3 | -------------------------------------------------------------------------------- /samples/smoke/evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/smoke/evidence.db -------------------------------------------------------------------------------- /samples/smoke/prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/samples/smoke/prog.mln -------------------------------------------------------------------------------- /samples/smoke/query.db: -------------------------------------------------------------------------------- 1 | Cancer(x) 2 | //Smokes -------------------------------------------------------------------------------- /src/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/.DS_Store -------------------------------------------------------------------------------- /src/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/.svn/all-wcprops -------------------------------------------------------------------------------- /src/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/.DS_Store -------------------------------------------------------------------------------- /src/tuffy/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/db/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/db/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/db/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/db/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/db/RDB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/db/RDB.java -------------------------------------------------------------------------------- /src/tuffy/db/SQLMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/db/SQLMan.java -------------------------------------------------------------------------------- /src/tuffy/db/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/db/package.html -------------------------------------------------------------------------------- /src/tuffy/ground/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ground/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/ground/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ground/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/ground/Grounding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ground/Grounding.java -------------------------------------------------------------------------------- /src/tuffy/ground/KBMC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ground/KBMC.java -------------------------------------------------------------------------------- /src/tuffy/ground/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ground/package.html -------------------------------------------------------------------------------- /src/tuffy/helper/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/helper/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/helper/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/helper/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/helper/Stats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/helper/Stats.java -------------------------------------------------------------------------------- /src/tuffy/helper/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/helper/package.html -------------------------------------------------------------------------------- /src/tuffy/infer/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/infer/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/infer/DataMover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/DataMover.java -------------------------------------------------------------------------------- /src/tuffy/infer/InferBucket.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/InferBucket.java -------------------------------------------------------------------------------- /src/tuffy/infer/MRF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/MRF.java -------------------------------------------------------------------------------- /src/tuffy/infer/PGInfer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/PGInfer.java -------------------------------------------------------------------------------- /src/tuffy/infer/ds/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/ds/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/infer/ds/GAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/ds/GAtom.java -------------------------------------------------------------------------------- /src/tuffy/infer/ds/GClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/ds/GClause.java -------------------------------------------------------------------------------- /src/tuffy/infer/ds/KeyBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/ds/KeyBlock.java -------------------------------------------------------------------------------- /src/tuffy/infer/ds/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/ds/package.html -------------------------------------------------------------------------------- /src/tuffy/infer/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/package.html -------------------------------------------------------------------------------- /src/tuffy/infer/package_infer.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/infer/package_infer.jpeg -------------------------------------------------------------------------------- /src/tuffy/learn/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/learn/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/learn/.svn/prop-base/MultiCoreSGDLearner.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/learn/.svn/prop-base/SGDLearner.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/learn/DNLearner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/DNLearner.java -------------------------------------------------------------------------------- /src/tuffy/learn/Learner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/Learner.java -------------------------------------------------------------------------------- /src/tuffy/learn/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/Main.java -------------------------------------------------------------------------------- /src/tuffy/learn/SGDLearner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/SGDLearner.java -------------------------------------------------------------------------------- /src/tuffy/learn/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/learn/package.html -------------------------------------------------------------------------------- /src/tuffy/main/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/main/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/main/Infer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/Infer.java -------------------------------------------------------------------------------- /src/tuffy/main/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/Main.java -------------------------------------------------------------------------------- /src/tuffy/main/NonPartInfer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/NonPartInfer.java -------------------------------------------------------------------------------- /src/tuffy/main/PartInfer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/PartInfer.java -------------------------------------------------------------------------------- /src/tuffy/main/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/main/package.html -------------------------------------------------------------------------------- /src/tuffy/mln/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/mln/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/mln/Atom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Atom.java -------------------------------------------------------------------------------- /src/tuffy/mln/Clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Clause.java -------------------------------------------------------------------------------- /src/tuffy/mln/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Literal.java -------------------------------------------------------------------------------- /src/tuffy/mln/Predicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Predicate.java -------------------------------------------------------------------------------- /src/tuffy/mln/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Term.java -------------------------------------------------------------------------------- /src/tuffy/mln/Tuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Tuple.java -------------------------------------------------------------------------------- /src/tuffy/mln/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/Type.java -------------------------------------------------------------------------------- /src/tuffy/mln/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/package.html -------------------------------------------------------------------------------- /src/tuffy/mln/package_mln.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/mln/package_mln.jpeg -------------------------------------------------------------------------------- /src/tuffy/parse/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/parse/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/parse/.svn/text-base/Config.tokens.svn-base: -------------------------------------------------------------------------------- 1 | WS=4 2 | SPAN=6 3 | COMMENT=5 4 | T__7=7 5 | '='=7 6 | -------------------------------------------------------------------------------- /src/tuffy/parse/Config.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/Config.g -------------------------------------------------------------------------------- /src/tuffy/parse/Config.tokens: -------------------------------------------------------------------------------- 1 | WS=4 2 | SPAN=6 3 | COMMENT=5 4 | T__7=7 5 | '='=7 6 | -------------------------------------------------------------------------------- /src/tuffy/parse/ConfigLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/ConfigLexer.java -------------------------------------------------------------------------------- /src/tuffy/parse/ConfigParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/ConfigParser.java -------------------------------------------------------------------------------- /src/tuffy/parse/InputParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/InputParser.java -------------------------------------------------------------------------------- /src/tuffy/parse/MLN.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/MLN.g -------------------------------------------------------------------------------- /src/tuffy/parse/MLN.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/MLN.tokens -------------------------------------------------------------------------------- /src/tuffy/parse/MLNLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/MLNLexer.java -------------------------------------------------------------------------------- /src/tuffy/parse/MLNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/MLNParser.java -------------------------------------------------------------------------------- /src/tuffy/parse/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/parse/package.html -------------------------------------------------------------------------------- /src/tuffy/ra/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/ra/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/ra/AtomEx.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/AtomEx.java -------------------------------------------------------------------------------- /src/tuffy/ra/ConjunctiveQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/ConjunctiveQuery.java -------------------------------------------------------------------------------- /src/tuffy/ra/Expression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/Expression.java -------------------------------------------------------------------------------- /src/tuffy/ra/Function.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/Function.java -------------------------------------------------------------------------------- /src/tuffy/ra/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/ra/package.html -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/sample/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/sample/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/prop-base/DS_JunctionTree.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/prop-base/MRFSampleAlgorithm.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/prop-base/MRFSampleResult.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/prop-base/MRFSampleStatistic.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/sample/.svn/prop-base/MRFSampler.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/sample/MRFSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/sample/MRFSampler.java -------------------------------------------------------------------------------- /src/tuffy/test/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/test/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/test/AtomTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/AtomTest.java -------------------------------------------------------------------------------- /src/tuffy/test/ClauseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/ClauseTest.java -------------------------------------------------------------------------------- /src/tuffy/test/ConfigTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/ConfigTest.java -------------------------------------------------------------------------------- /src/tuffy/test/GAtomTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/GAtomTest.java -------------------------------------------------------------------------------- /src/tuffy/test/GClauseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/GClauseTest.java -------------------------------------------------------------------------------- /src/tuffy/test/GroundingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/GroundingTest.java -------------------------------------------------------------------------------- /src/tuffy/test/InferenceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/InferenceTest.java -------------------------------------------------------------------------------- /src/tuffy/test/LearnerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/LearnerTest.java -------------------------------------------------------------------------------- /src/tuffy/test/LiteralTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/LiteralTest.java -------------------------------------------------------------------------------- /src/tuffy/test/PredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/PredicateTest.java -------------------------------------------------------------------------------- /src/tuffy/test/TermTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/TermTest.java -------------------------------------------------------------------------------- /src/tuffy/test/TupleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/TupleTest.java -------------------------------------------------------------------------------- /src/tuffy/test/TypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/TypeTest.java -------------------------------------------------------------------------------- /src/tuffy/test/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/test/package.html -------------------------------------------------------------------------------- /src/tuffy/util/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/util/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/util/.svn/prop-base/Enumerator.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/util/.svn/prop-base/myDouble.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/util/.svn/text-base/BatMan.java.svn-base: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class BatMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/tuffy/util/.svn/text-base/IronMan.java.svn-base: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class IronMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/tuffy/util/BatMan.java: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class BatMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/tuffy/util/BitSetIntPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/BitSetIntPair.java -------------------------------------------------------------------------------- /src/tuffy/util/BoundHashList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/BoundHashList.java -------------------------------------------------------------------------------- /src/tuffy/util/Config.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/Config.java -------------------------------------------------------------------------------- /src/tuffy/util/DebugMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/DebugMan.java -------------------------------------------------------------------------------- /src/tuffy/util/Enumerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/Enumerator.java -------------------------------------------------------------------------------- /src/tuffy/util/ExceptionMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/ExceptionMan.java -------------------------------------------------------------------------------- /src/tuffy/util/FileMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/FileMan.java -------------------------------------------------------------------------------- /src/tuffy/util/HashArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/HashArray.java -------------------------------------------------------------------------------- /src/tuffy/util/IronMan.java: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class IronMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/tuffy/util/MathMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/MathMan.java -------------------------------------------------------------------------------- /src/tuffy/util/PlotMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/PlotMan.java -------------------------------------------------------------------------------- /src/tuffy/util/ProbMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/ProbMan.java -------------------------------------------------------------------------------- /src/tuffy/util/Settings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/Settings.java -------------------------------------------------------------------------------- /src/tuffy/util/SpiderMan.java: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class SpiderMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/tuffy/util/StringMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/StringMan.java -------------------------------------------------------------------------------- /src/tuffy/util/SuperMan.java: -------------------------------------------------------------------------------- 1 | package tuffy.util; 2 | 3 | public class SuperMan { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/tuffy/util/Timer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/Timer.java -------------------------------------------------------------------------------- /src/tuffy/util/UIMan.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/UIMan.java -------------------------------------------------------------------------------- /src/tuffy/util/UnionFind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/UnionFind.java -------------------------------------------------------------------------------- /src/tuffy/util/myDouble.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/myDouble.java -------------------------------------------------------------------------------- /src/tuffy/util/myInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/myInt.java -------------------------------------------------------------------------------- /src/tuffy/util/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/util/package.html -------------------------------------------------------------------------------- /src/tuffy/worker/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/worker/.svn/all-wcprops -------------------------------------------------------------------------------- /src/tuffy/worker/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/worker/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/worker/.svn/prop-base/MLEWorker.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/worker/.svn/prop-base/MLEWorkerInstance.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/worker/.svn/prop-base/Worker.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/worker/MLEWorker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/worker/MLEWorker.java -------------------------------------------------------------------------------- /src/tuffy/worker/Worker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/worker/Worker.java -------------------------------------------------------------------------------- /src/tuffy/worker/ds/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/worker/ds/.svn/entries -------------------------------------------------------------------------------- /src/tuffy/worker/ds/.svn/prop-base/MLEWorld.java.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 10 4 | text/plain 5 | END 6 | -------------------------------------------------------------------------------- /src/tuffy/worker/ds/MLEWorld.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/src/tuffy/worker/ds/MLEWorld.java -------------------------------------------------------------------------------- /test/.svn/all-wcprops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/.svn/all-wcprops -------------------------------------------------------------------------------- /test/.svn/entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/.svn/entries -------------------------------------------------------------------------------- /test/.svn/prop-base/toyevidence.db.gz.svn-base: -------------------------------------------------------------------------------- 1 | K 13 2 | svn:mime-type 3 | V 24 4 | application/octet-stream 5 | END 6 | -------------------------------------------------------------------------------- /test/.svn/text-base/ie_query.db.svn-base: -------------------------------------------------------------------------------- 1 | SameBib(x,y) 2 | InField(i,f,c) -------------------------------------------------------------------------------- /test/.svn/text-base/nlearningQuery.db.svn-base: -------------------------------------------------------------------------------- 1 | Smokes(x) -------------------------------------------------------------------------------- /test/.svn/text-base/plearningquery.db.svn-base: -------------------------------------------------------------------------------- 1 | Smokes(x) -------------------------------------------------------------------------------- /test/.svn/text-base/rc1000_query.db.svn-base: -------------------------------------------------------------------------------- 1 | category(x,y) 2 | 3 | -------------------------------------------------------------------------------- /test/.svn/text-base/testOutput.txt_crf_crfPred.svn-base: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/.svn/text-base/testOutput.txt_lr_lrPred2.svn-base: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/.svn/text-base/toyquery2.db.svn-base: -------------------------------------------------------------------------------- 1 | 2 | Friends(x, y) 3 | //Smokes 4 | -------------------------------------------------------------------------------- /test/ie_evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/ie_evidence.db -------------------------------------------------------------------------------- /test/ie_prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/ie_prog.mln -------------------------------------------------------------------------------- /test/ie_query.db: -------------------------------------------------------------------------------- 1 | SameBib(x,y) 2 | InField(i,f,c) -------------------------------------------------------------------------------- /test/nlearningEvidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/nlearningEvidence.db -------------------------------------------------------------------------------- /test/nlearningProg.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/nlearningProg.mln -------------------------------------------------------------------------------- /test/nlearningQuery.db: -------------------------------------------------------------------------------- 1 | Smokes(x) -------------------------------------------------------------------------------- /test/plearningevidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/plearningevidence.db -------------------------------------------------------------------------------- /test/plearningprog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/plearningprog.mln -------------------------------------------------------------------------------- /test/plearningquery.db: -------------------------------------------------------------------------------- 1 | Smokes(x) -------------------------------------------------------------------------------- /test/rc1000_evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/rc1000_evidence.db -------------------------------------------------------------------------------- /test/rc1000_prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/rc1000_prog.mln -------------------------------------------------------------------------------- /test/rc1000_prog2.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/rc1000_prog2.mln -------------------------------------------------------------------------------- /test/rc1000_query.db: -------------------------------------------------------------------------------- 1 | category(x,y) 2 | 3 | -------------------------------------------------------------------------------- /test/testOutput.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt -------------------------------------------------------------------------------- /test/testOutput.txt.stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt.stats -------------------------------------------------------------------------------- /test/testOutput.txt_coref_pcluster: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt_coref_pcluster -------------------------------------------------------------------------------- /test/testOutput.txt_crf_crfPred: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/testOutput.txt_crf_label1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt_crf_label1 -------------------------------------------------------------------------------- /test/testOutput.txt_crf_label2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt_crf_label2 -------------------------------------------------------------------------------- /test/testOutput.txt_lr_IamLR: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt_lr_IamLR -------------------------------------------------------------------------------- /test/testOutput.txt_lr_label1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt_lr_label1 -------------------------------------------------------------------------------- /test/testOutput.txt_lr_label2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/testOutput.txt_lr_label2 -------------------------------------------------------------------------------- /test/testOutput.txt_lr_lrPred2: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/tmp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/tmp.pl -------------------------------------------------------------------------------- /test/toyevidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/toyevidence.db -------------------------------------------------------------------------------- /test/toyevidence.db.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/toyevidence.db.gz -------------------------------------------------------------------------------- /test/toyprog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/toyprog.mln -------------------------------------------------------------------------------- /test/toyprog_no_close_world.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/toyprog_no_close_world.mln -------------------------------------------------------------------------------- /test/toyquery.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/toyquery.db -------------------------------------------------------------------------------- /test/toyquery2.db: -------------------------------------------------------------------------------- 1 | 2 | Friends(x, y) 3 | //Smokes 4 | -------------------------------------------------------------------------------- /test/univ_evidence.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/univ_evidence.db -------------------------------------------------------------------------------- /test/univ_prog.mln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/univ_prog.mln -------------------------------------------------------------------------------- /test/univ_query.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/test/univ_query.db -------------------------------------------------------------------------------- /tuffy.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/tuffy/HEAD/tuffy.conf --------------------------------------------------------------------------------