more file shuffling and some todos

sdcondon · Jul 27, 2024 · 00c3bcd · 00c3bcd
1 parent e9dd877
commit 00c3bcd
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 1 deletion.
diff --git a/src/SCFirstOrderLogic/Literal.cs b/src/SCFirstOrderLogic/Literal.cs
@@ -7,7 +7,7 @@ namespace SCFirstOrderLogic;
 
 /// <summary>
 /// <para>
-/// Streamlined representation of a literal (i.e. a predicate or a negated predicate) of first-order logic.
+/// Streamlined representation of a literal (that is, a predicate or a negated predicate) of first-order logic.
 /// </para>
 /// <para>
 /// Note that this type is NOT a subtype of <see cref="Sentence"/>. To represent literals as <see cref="Sentence"/>s, 

diff --git a/src/SCFirstOrderLogic/SentenceFormatting/SentenceFormatter.cs b/src/SCFirstOrderLogic/SentenceFormatting/SentenceFormatter.cs
@@ -48,6 +48,10 @@ public SentenceFormatter(ILabeller labeller)
     /// <see cref="SkolemFunctionIdentifier"/>s.
     /// </para>
     /// </summary>
+    // TODO-BREAKING-V7-PERHAPS: don't want ANY knowledge of normalised identifier types here, really.
+    // Move me into normalisation namespace. Probably of course means that we should either make the default
+    // behaviour simply ToString the identifiers, OR should remove parameterless ctor altogether (though that
+    // would also mean removing the tostring overrides of mode classes.. Hmm. Perhaps for the best?) 
     public static ILabeller DefaultLabeller { get; set; } = new ByTypeLabeller(new Dictionary<Type, ILabeller>()
     {
         [typeof(StandardisedVariableIdentifier)] = new SubscriptSuffixLabeller(),

diff --git a/...rstOrderLogic/SkolemFunctionIdentifier.cs → ...Normalisation/SkolemFunctionIdentifier.cs b/...rstOrderLogic/SkolemFunctionIdentifier.cs → ...Normalisation/SkolemFunctionIdentifier.cs
@@ -1,5 +1,6 @@
 // Copyright (c) 2021-2024 Simon Condon.
 // You may use this file in accordance with the terms of the MIT license.
+// TODO-BREAKING-V7: Update namespace
 namespace SCFirstOrderLogic;
 
 /// <summary>

diff --git a/...erLogic/StandardisedVariableIdentifier.cs → ...isation/StandardisedVariableIdentifier.cs b/...erLogic/StandardisedVariableIdentifier.cs → ...isation/StandardisedVariableIdentifier.cs
@@ -1,5 +1,6 @@
 // Copyright (c) 2021-2024 Simon Condon.
 // You may use this file in accordance with the terms of the MIT license.
+// TODO-BREAKING-V7: Update namespace
 namespace SCFirstOrderLogic;
 
 /// <summary>