Skip to content
Snippets Groups Projects
Commit cdca11e6 authored by John Schihada's avatar John Schihada
Browse files

Changes for making the game running again

parent 44735002
No related branches found
No related tags found
No related merge requests found
......@@ -376,7 +376,7 @@ private void readPushout(string txt)
int pid1 = getIdforBackendURI(f.left);
int pid2 = getIdforBackendURI(f.middle);
int pid3 = getIdforBackendURI(f.right);
AngleFact af = new AngleFact(id, pid1, pid2, pid3, f.uri, f.value);
AngleFact af = new AngleFact();//id, pid1, pid2, pid3, f.uri, f.value);
CommunicationEvents.Facts.Insert(id, af);
CommunicationEvents.AddFactEvent.Invoke(af);
CommunicationEvents.PushoutFactEvent.Invoke(af);
......
......@@ -22,17 +22,7 @@ public static class JSONManager
{
//could init the strings of MMTURIs with JSON or other settings file instead
public static MMTURICollection MMTURIs = new MMTURICollection();
/*
public static Dictionary<string, string> URIDictionary = new Dictionary<string, string> {
{"point", "http://mathhub.info/MitM/core/geometry?3DGeometry?point" },
{"tuple", "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"},
{"line", "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type" },
{"distance", "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf" }
};
*/
[JsonConverter(typeof(JsonSubtypes), "kind")]
public class MMTTerm
{
......@@ -101,6 +91,9 @@ public static string ToJson(MMTDeclaration mmtDecl)
}
}
/**
* MMTSymbolDeclaration: Class for facts without values, e.g. Points
**/
public class MMTSymbolDeclaration : MMTDeclaration
{
public string label;
......@@ -115,6 +108,9 @@ public MMTSymbolDeclaration(string label, MMTTerm tp, MMTTerm df)
}
}
/**
* MMTValueDeclaration: Class for facts with values, e.g. Distances or Angles
**/
public class MMTValueDeclaration : MMTDeclaration
{
public string label;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment