├── .classpath ├── .gitignore ├── .project ├── CSNePS.iml ├── Demo ├── andor.sneps ├── basic-demo.sneps ├── changedemo.sneps ├── condact-rules.sneps ├── dissertation-examples.sneps ├── equivalence.sneps ├── finddemo.sneps ├── focusedinfer.sneps ├── genericinfer.sneps ├── index.clj ├── inferdemo.sneps ├── mappingrulesdemo.sneps ├── match.sneps ├── natural-deduction-derivable-test.sneps ├── natural-deduction-derivable.sneps ├── negbyfail.sneps ├── pb-inference.sneps ├── pb-inference.sneps~ ├── recursion.sneps ├── refcl.sneps ├── sbConnectives.sneps ├── snere.sneps ├── sort-based-derivable.sneps ├── subsumption.sneps ├── threshelim.sneps ├── unification.sneps ├── varRels.sneps ├── vardemo.sneps └── xor.sneps ├── LICENSE.pdf ├── README.md ├── csneps.sh ├── csnepsgui.sh ├── doc ├── bib.bib ├── manual.pdf └── manual.tex ├── local_maven_repo ├── jpedal │ └── jpedal │ │ └── 1.0.0 │ │ ├── jpedal-1.0.0.jar │ │ └── jpedal-1.0.0.pom └── net │ └── xeon │ └── jspf.core │ ├── 1.0.2 │ ├── jspf.core-1.0.2.jar │ ├── jspf.core-1.0.2.jar.md5 │ ├── jspf.core-1.0.2.jar.sha1 │ ├── jspf.core-1.0.2.pom │ ├── jspf.core-1.0.2.pom.md5 │ └── jspf.core-1.0.2.pom.sha1 │ ├── maven-metadata-local.xml │ ├── maven-metadata.xml │ ├── maven-metadata.xml.md5 │ └── maven-metadata.xml.sha1 ├── project.clj ├── src ├── clj │ └── csneps │ │ ├── .#snip_inference_graph.clj.1.30 │ │ ├── configuration.clj │ │ ├── core.clj │ │ ├── core │ │ ├── arithmetic.clj │ │ ├── build.clj │ │ ├── build_assert.clj │ │ ├── build_channel.clj │ │ ├── build_rewrite.clj │ │ ├── build_rules.clj │ │ ├── build_semantic_types.clj │ │ ├── build_substitution.clj │ │ ├── build_subsumption.clj │ │ ├── build_unification.clj │ │ ├── build_utils.clj │ │ ├── caseframes.clj │ │ ├── contexts.clj │ │ ├── find.clj │ │ ├── find_utils.clj │ │ ├── initialize.clj │ │ ├── printer.clj │ │ ├── relations.clj │ │ ├── semantic_types.clj │ │ ├── snuser.clj │ │ └── unify │ │ │ └── treenode.clj │ │ ├── core_semantic_types.clj │ │ ├── core_syntactic_types.clj │ │ ├── debug.clj │ │ ├── demo.clj │ │ ├── gui.clj │ │ ├── snip.clj │ │ ├── snip │ │ ├── .#path_based.clj.1.4 │ │ ├── inference_graph │ │ │ ├── concurrent.clj │ │ │ └── util.clj │ │ ├── linear_message_set.clj │ │ ├── message.clj │ │ ├── message_compat.clj │ │ ├── messagestructure.clj │ │ ├── originset.clj │ │ ├── passthrough_message_set.clj │ │ ├── ptree.clj │ │ ├── sindex.clj │ │ └── util.clj │ │ ├── snip_acting.clj │ │ ├── snip_beliefrevision.clj │ │ ├── snip_inference_graph.clj │ │ ├── snip_path_based.clj │ │ ├── snip_rnode.clj │ │ ├── snip_slot_based.clj │ │ ├── snip_sort_based.clj │ │ ├── test │ │ ├── .#benchmark.clj.1.3 │ │ ├── benchmark.clj │ │ ├── mapper_benchmark.clj │ │ └── unification.clj │ │ ├── util.clj │ │ └── utils │ │ ├── coreutils.clj │ │ ├── dotgraph.clj │ │ └── ontology.clj └── jvm │ └── csneps │ ├── api │ ├── CSNePS.java │ ├── ICaseframe.java │ ├── IContext.java │ ├── ISemanticType.java │ ├── ISlot.java │ └── ITerm.java │ ├── gui │ ├── AddToKBPanel.java │ ├── AdoptRuleForm.java │ ├── CaseframeBasedShowHideDialog.java │ ├── CaseframeTableModel.java │ ├── CaseframesPanel.java │ ├── ComparableTreeNode.java │ ├── ContextsPanel.java │ ├── CreateContextForm.java │ ├── DefineCaseframeForm.java │ ├── DemoMode.java │ ├── FindQuery.java │ ├── FindQuery3.java │ ├── Frame.java │ ├── FrameSlotDialog.java │ ├── GUI2.java │ ├── GlobalGraphFilter.java │ ├── GlobalGraphFilterDialog.java │ ├── JTableRE.java │ ├── JungGraphPanel.java │ ├── LazyLayout.java │ ├── NodeFind.java │ ├── NodeFindPath.java │ ├── PairLR.java │ ├── PluginPanel.java │ ├── QBEBasePanel.java │ ├── RDockComponent.java │ ├── RDockPanel.java │ ├── REPLPanel.java │ ├── RowEditorModel.java │ ├── SNePSEditor.java │ ├── SemanticTypeForm.java │ ├── SemanticTypesPanel.java │ ├── ShowInGraphQueryPanel.java │ ├── SlotForm.java │ ├── VectorTable.java │ ├── addfile_sneps3.sh │ ├── business │ │ ├── Caseframe.java │ │ ├── Channel.java │ │ ├── Context.java │ │ ├── FnInterop.java │ │ ├── IView.java │ │ ├── InteropUtils.java │ │ ├── SemanticType.java │ │ ├── Slot.java │ │ ├── Term.java │ │ └── repl │ │ │ ├── IREPLView.java │ │ │ └── REPLView.java │ ├── dataaccess │ │ ├── Controller.java │ │ └── Model.java │ ├── graph │ │ ├── ArrowFillTransformer.java │ │ ├── ArrowShapeTransformer.java │ │ ├── ChannelEdge.java │ │ ├── CollapsedEdge.java │ │ ├── DependencyEdge.java │ │ ├── Edge.java │ │ ├── IEdge.java │ │ ├── ITermNode.java │ │ ├── RestrictionEdge.java │ │ ├── SnepsGraph.java │ │ ├── SnepsModalGraphMouse.java │ │ ├── TermNode.java │ │ └── algorithms │ │ │ ├── UndirectedBFSDistanceLabeler.java │ │ │ ├── UndirectedDijkstraDistance.java │ │ │ ├── UndirectedDijkstraShortestPath.java │ │ │ └── UndirectedUnweightedShortestPath.java │ ├── pdfViewer.java │ └── util │ │ ├── ClojureTools.java │ │ ├── OSTools.java │ │ └── SortedComboBoxModel.java │ └── util │ ├── BlockingLifoQueue.java │ └── CountingLatch.java └── test └── csneps ├── api └── test │ └── APITester.java └── test ├── arithmetic.clj ├── combined_inference.clj ├── core.clj ├── find.clj ├── inference_graph.clj ├── snere.clj └── wh_question.clj /.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/.classpath -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/.gitignore -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/.project -------------------------------------------------------------------------------- /CSNePS.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/CSNePS.iml -------------------------------------------------------------------------------- /Demo/andor.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/andor.sneps -------------------------------------------------------------------------------- /Demo/basic-demo.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/basic-demo.sneps -------------------------------------------------------------------------------- /Demo/changedemo.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/changedemo.sneps -------------------------------------------------------------------------------- /Demo/condact-rules.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/condact-rules.sneps -------------------------------------------------------------------------------- /Demo/dissertation-examples.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/dissertation-examples.sneps -------------------------------------------------------------------------------- /Demo/equivalence.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/equivalence.sneps -------------------------------------------------------------------------------- /Demo/finddemo.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/finddemo.sneps -------------------------------------------------------------------------------- /Demo/focusedinfer.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/focusedinfer.sneps -------------------------------------------------------------------------------- /Demo/genericinfer.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/genericinfer.sneps -------------------------------------------------------------------------------- /Demo/index.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/index.clj -------------------------------------------------------------------------------- /Demo/inferdemo.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/inferdemo.sneps -------------------------------------------------------------------------------- /Demo/mappingrulesdemo.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/mappingrulesdemo.sneps -------------------------------------------------------------------------------- /Demo/match.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/match.sneps -------------------------------------------------------------------------------- /Demo/natural-deduction-derivable-test.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/natural-deduction-derivable-test.sneps -------------------------------------------------------------------------------- /Demo/natural-deduction-derivable.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/natural-deduction-derivable.sneps -------------------------------------------------------------------------------- /Demo/negbyfail.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/negbyfail.sneps -------------------------------------------------------------------------------- /Demo/pb-inference.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/pb-inference.sneps -------------------------------------------------------------------------------- /Demo/pb-inference.sneps~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/pb-inference.sneps~ -------------------------------------------------------------------------------- /Demo/recursion.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/recursion.sneps -------------------------------------------------------------------------------- /Demo/refcl.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/refcl.sneps -------------------------------------------------------------------------------- /Demo/sbConnectives.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/sbConnectives.sneps -------------------------------------------------------------------------------- /Demo/snere.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/snere.sneps -------------------------------------------------------------------------------- /Demo/sort-based-derivable.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/sort-based-derivable.sneps -------------------------------------------------------------------------------- /Demo/subsumption.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/subsumption.sneps -------------------------------------------------------------------------------- /Demo/threshelim.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/threshelim.sneps -------------------------------------------------------------------------------- /Demo/unification.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/unification.sneps -------------------------------------------------------------------------------- /Demo/varRels.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/varRels.sneps -------------------------------------------------------------------------------- /Demo/vardemo.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/vardemo.sneps -------------------------------------------------------------------------------- /Demo/xor.sneps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/Demo/xor.sneps -------------------------------------------------------------------------------- /LICENSE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/LICENSE.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/README.md -------------------------------------------------------------------------------- /csneps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/csneps.sh -------------------------------------------------------------------------------- /csnepsgui.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/csnepsgui.sh -------------------------------------------------------------------------------- /doc/bib.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/doc/bib.bib -------------------------------------------------------------------------------- /doc/manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/doc/manual.pdf -------------------------------------------------------------------------------- /doc/manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/doc/manual.tex -------------------------------------------------------------------------------- /local_maven_repo/jpedal/jpedal/1.0.0/jpedal-1.0.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/jpedal/jpedal/1.0.0/jpedal-1.0.0.jar -------------------------------------------------------------------------------- /local_maven_repo/jpedal/jpedal/1.0.0/jpedal-1.0.0.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/jpedal/jpedal/1.0.0/jpedal-1.0.0.pom -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.jar -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.jar.md5: -------------------------------------------------------------------------------- 1 | a2a12cf3b1e83c8f585568eb81e2b50e -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.jar.sha1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.jar.sha1 -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.pom -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.pom.md5: -------------------------------------------------------------------------------- 1 | e04f3318d8386c34fc958384d523ae7d -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.pom.sha1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/1.0.2/jspf.core-1.0.2.pom.sha1 -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/maven-metadata-local.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/maven-metadata-local.xml -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/maven-metadata.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/maven-metadata.xml -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/maven-metadata.xml.md5: -------------------------------------------------------------------------------- 1 | ff2d9921422221d7026a28bb8ab6fd88 -------------------------------------------------------------------------------- /local_maven_repo/net/xeon/jspf.core/maven-metadata.xml.sha1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/local_maven_repo/net/xeon/jspf.core/maven-metadata.xml.sha1 -------------------------------------------------------------------------------- /project.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/project.clj -------------------------------------------------------------------------------- /src/clj/csneps/.#snip_inference_graph.clj.1.30: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/.#snip_inference_graph.clj.1.30 -------------------------------------------------------------------------------- /src/clj/csneps/configuration.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/configuration.clj -------------------------------------------------------------------------------- /src/clj/csneps/core.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/arithmetic.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/arithmetic.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_assert.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_assert.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_channel.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_channel.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_rewrite.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_rewrite.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_rules.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_rules.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_semantic_types.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_semantic_types.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_substitution.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_substitution.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_subsumption.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_subsumption.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_unification.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_unification.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/build_utils.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/build_utils.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/caseframes.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/caseframes.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/contexts.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/contexts.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/find.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/find.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/find_utils.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/find_utils.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/initialize.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/initialize.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/printer.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/printer.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/relations.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/relations.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/semantic_types.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/semantic_types.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/snuser.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/snuser.clj -------------------------------------------------------------------------------- /src/clj/csneps/core/unify/treenode.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core/unify/treenode.clj -------------------------------------------------------------------------------- /src/clj/csneps/core_semantic_types.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core_semantic_types.clj -------------------------------------------------------------------------------- /src/clj/csneps/core_syntactic_types.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/core_syntactic_types.clj -------------------------------------------------------------------------------- /src/clj/csneps/debug.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/debug.clj -------------------------------------------------------------------------------- /src/clj/csneps/demo.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/demo.clj -------------------------------------------------------------------------------- /src/clj/csneps/gui.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/gui.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/.#path_based.clj.1.4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/.#path_based.clj.1.4 -------------------------------------------------------------------------------- /src/clj/csneps/snip/inference_graph/concurrent.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/inference_graph/concurrent.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/inference_graph/util.clj: -------------------------------------------------------------------------------- 1 | (ns csneps.snip.inference-graph.util) 2 | 3 | -------------------------------------------------------------------------------- /src/clj/csneps/snip/linear_message_set.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/linear_message_set.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/message.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/message.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/message_compat.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/message_compat.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/messagestructure.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/messagestructure.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/originset.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/originset.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/passthrough_message_set.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/passthrough_message_set.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/ptree.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/ptree.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/sindex.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/sindex.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip/util.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip/util.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_acting.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_acting.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_beliefrevision.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_beliefrevision.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_inference_graph.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_inference_graph.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_path_based.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_path_based.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_rnode.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_rnode.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_slot_based.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_slot_based.clj -------------------------------------------------------------------------------- /src/clj/csneps/snip_sort_based.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/snip_sort_based.clj -------------------------------------------------------------------------------- /src/clj/csneps/test/.#benchmark.clj.1.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/test/.#benchmark.clj.1.3 -------------------------------------------------------------------------------- /src/clj/csneps/test/benchmark.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/test/benchmark.clj -------------------------------------------------------------------------------- /src/clj/csneps/test/mapper_benchmark.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/test/mapper_benchmark.clj -------------------------------------------------------------------------------- /src/clj/csneps/test/unification.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/test/unification.clj -------------------------------------------------------------------------------- /src/clj/csneps/util.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/util.clj -------------------------------------------------------------------------------- /src/clj/csneps/utils/coreutils.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/utils/coreutils.clj -------------------------------------------------------------------------------- /src/clj/csneps/utils/dotgraph.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/utils/dotgraph.clj -------------------------------------------------------------------------------- /src/clj/csneps/utils/ontology.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/clj/csneps/utils/ontology.clj -------------------------------------------------------------------------------- /src/jvm/csneps/api/CSNePS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/api/CSNePS.java -------------------------------------------------------------------------------- /src/jvm/csneps/api/ICaseframe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/api/ICaseframe.java -------------------------------------------------------------------------------- /src/jvm/csneps/api/IContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/api/IContext.java -------------------------------------------------------------------------------- /src/jvm/csneps/api/ISemanticType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/api/ISemanticType.java -------------------------------------------------------------------------------- /src/jvm/csneps/api/ISlot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/api/ISlot.java -------------------------------------------------------------------------------- /src/jvm/csneps/api/ITerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/api/ITerm.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/AddToKBPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/AddToKBPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/AdoptRuleForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/AdoptRuleForm.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/CaseframeBasedShowHideDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/CaseframeBasedShowHideDialog.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/CaseframeTableModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/CaseframeTableModel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/CaseframesPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/CaseframesPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/ComparableTreeNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/ComparableTreeNode.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/ContextsPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/ContextsPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/CreateContextForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/CreateContextForm.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/DefineCaseframeForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/DefineCaseframeForm.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/DemoMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/DemoMode.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/FindQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/FindQuery.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/FindQuery3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/FindQuery3.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/Frame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/Frame.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/FrameSlotDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/FrameSlotDialog.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/GUI2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/GUI2.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/GlobalGraphFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/GlobalGraphFilter.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/GlobalGraphFilterDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/GlobalGraphFilterDialog.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/JTableRE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/JTableRE.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/JungGraphPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/JungGraphPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/LazyLayout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/LazyLayout.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/NodeFind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/NodeFind.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/NodeFindPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/NodeFindPath.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/PairLR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/PairLR.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/PluginPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/PluginPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/QBEBasePanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/QBEBasePanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/RDockComponent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/RDockComponent.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/RDockPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/RDockPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/REPLPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/REPLPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/RowEditorModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/RowEditorModel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/SNePSEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/SNePSEditor.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/SemanticTypeForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/SemanticTypeForm.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/SemanticTypesPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/SemanticTypesPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/ShowInGraphQueryPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/ShowInGraphQueryPanel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/SlotForm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/SlotForm.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/VectorTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/VectorTable.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/addfile_sneps3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/addfile_sneps3.sh -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/Caseframe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/Caseframe.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/Channel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/Channel.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/Context.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/FnInterop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/FnInterop.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/IView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/IView.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/InteropUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/InteropUtils.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/SemanticType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/SemanticType.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/Slot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/Slot.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/Term.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/repl/IREPLView.java: -------------------------------------------------------------------------------- 1 | package csneps.gui.business.repl; 2 | 3 | public interface IREPLView { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/jvm/csneps/gui/business/repl/REPLView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/business/repl/REPLView.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/dataaccess/Controller.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/dataaccess/Controller.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/dataaccess/Model.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/dataaccess/Model.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/ArrowFillTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/ArrowFillTransformer.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/ArrowShapeTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/ArrowShapeTransformer.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/ChannelEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/ChannelEdge.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/CollapsedEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/CollapsedEdge.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/DependencyEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/DependencyEdge.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/Edge.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/IEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/IEdge.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/ITermNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/ITermNode.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/RestrictionEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/RestrictionEdge.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/SnepsGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/SnepsGraph.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/SnepsModalGraphMouse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/SnepsModalGraphMouse.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/TermNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/TermNode.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/algorithms/UndirectedBFSDistanceLabeler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/algorithms/UndirectedBFSDistanceLabeler.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/algorithms/UndirectedDijkstraDistance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/algorithms/UndirectedDijkstraDistance.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/algorithms/UndirectedDijkstraShortestPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/algorithms/UndirectedDijkstraShortestPath.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/graph/algorithms/UndirectedUnweightedShortestPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/graph/algorithms/UndirectedUnweightedShortestPath.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/pdfViewer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/pdfViewer.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/util/ClojureTools.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/util/ClojureTools.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/util/OSTools.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/util/OSTools.java -------------------------------------------------------------------------------- /src/jvm/csneps/gui/util/SortedComboBoxModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/gui/util/SortedComboBoxModel.java -------------------------------------------------------------------------------- /src/jvm/csneps/util/BlockingLifoQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/util/BlockingLifoQueue.java -------------------------------------------------------------------------------- /src/jvm/csneps/util/CountingLatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/src/jvm/csneps/util/CountingLatch.java -------------------------------------------------------------------------------- /test/csneps/api/test/APITester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/api/test/APITester.java -------------------------------------------------------------------------------- /test/csneps/test/arithmetic.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/arithmetic.clj -------------------------------------------------------------------------------- /test/csneps/test/combined_inference.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/combined_inference.clj -------------------------------------------------------------------------------- /test/csneps/test/core.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/core.clj -------------------------------------------------------------------------------- /test/csneps/test/find.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/find.clj -------------------------------------------------------------------------------- /test/csneps/test/inference_graph.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/inference_graph.clj -------------------------------------------------------------------------------- /test/csneps/test/snere.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/snere.clj -------------------------------------------------------------------------------- /test/csneps/test/wh_question.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SNePS/CSNePS/HEAD/test/csneps/test/wh_question.clj --------------------------------------------------------------------------------