diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-03-07 22:10:42 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:55:46 +0200 |
commit | 16a9b534adec2c53b50f92a43c1623918b1c59c0 (patch) | |
tree | 690b299a2ca31e302ddad219a7aa94bcf86d5d0b /subprojects/language-web/src/main/java | |
parent | fix(frontend): * operator highlighting (diff) | |
download | refinery-16a9b534adec2c53b50f92a43c1623918b1c59c0.tar.gz refinery-16a9b534adec2c53b50f92a43c1623918b1c59c0.tar.zst refinery-16a9b534adec2c53b50f92a43c1623918b1c59c0.zip |
refactor: move terms and DNF into logic subproject
Diffstat (limited to 'subprojects/language-web/src/main/java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/NodeMetadataFactory.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/NodeMetadataFactory.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/NodeMetadataFactory.java index ce0e50c1..f469d2dd 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/NodeMetadataFactory.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/NodeMetadataFactory.java | |||
@@ -17,7 +17,7 @@ import tools.refinery.store.reasoning.literal.Concreteness; | |||
17 | import tools.refinery.store.reasoning.representation.PartialRelation; | 17 | import tools.refinery.store.reasoning.representation.PartialRelation; |
18 | import tools.refinery.store.reasoning.translator.typehierarchy.InferredType; | 18 | import tools.refinery.store.reasoning.translator.typehierarchy.InferredType; |
19 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator; | 19 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator; |
20 | import tools.refinery.store.representation.TruthValue; | 20 | import tools.refinery.logic.term.truthvalue.TruthValue; |
21 | import tools.refinery.store.tuple.Tuple; | 21 | import tools.refinery.store.tuple.Tuple; |
22 | 22 | ||
23 | public class NodeMetadataFactory { | 23 | public class NodeMetadataFactory { |