TechDemo B.JSON

{
  "category": "Demo Category",
  "number": 2,
  "description": "River Stage",
  "scene": "RiverWorld",
  "use_install_folder": true,
  "solution": {
    "ValidationSet": [
      {
        "MasterIDs": [
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1623"
        ],
        "SolutionIndex": [],
        "RelationIndex": [],
        "ComparerString": "LineFactHightDirectionComparer"
      },
      {
        "MasterIDs": [
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1623"
        ],
        "SolutionIndex": [],
        "RelationIndex": [],
        "ComparerString": "LineSpanningOverRiverWorldComparer"
      },
      {
        "MasterIDs": [],
        "SolutionIndex": [
          1
        ],
        "RelationIndex": [
          0
        ],
        "ComparerString": "LineFactHightComparer"
      }
    ],
    "ExposedSolutionFacts": [],
    "WorkflowGadgetDict": {
      "-1": null
    },
    "MetaInf": {
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1621": {
        "workflow_id": 0,
        "active": true,
        "isImmutable": false
      },
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1622": {
        "workflow_id": 1,
        "active": true,
        "isImmutable": false
      },
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1623": {
        "workflow_id": 2,
        "active": true,
        "isImmutable": false
      }
    },
    "Workflow": [
      {
        "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1621",
        "samestep": false,
        "steplink": 3,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
        "GadgetTime": 0.541088400001172
      },
      {
        "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1622",
        "samestep": true,
        "steplink": 0,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
        "GadgetTime": 0.541088400001172
      },
      {
        "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1623",
        "samestep": true,
        "steplink": 0,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
        "GadgetTime": 0.541088400001172
      }
    ],
    "marker": 3,
    "worksteps": 1,
    "backlog": 0,
    "soft_resetted": false,
    "invoke": true,
    "MaxLabelId": 2,
    "UnusedLabelIds": [],
    "JsonFactSpace": {
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1621": {
        "Point": {
          "x": 0.0,
          "y": 0.0,
          "z": 0.0,
          "magnitude": 0.0,
          "sqrMagnitude": 0.0
        },
        "Normal": {
          "x": 0.0,
          "y": 1.0,
          "z": 0.0,
          "magnitude": 1.0,
          "sqrMagnitude": 1.0
        },
        "s_type": "PointFact",
        "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1621",
        "Label": "A",
        "hasCustomLabel": false,
        "LabelId": 1
      },
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1622": {
        "Point": {
          "x": 0.0,
          "y": 6.0,
          "z": 0.0,
          "normalized": {
            "x": 0.0,
            "y": 1.0,
            "z": 0.0,
            "magnitude": 1.0,
            "sqrMagnitude": 1.0
          },
          "magnitude": 6.0,
          "sqrMagnitude": 36.0
        },
        "Normal": {
          "x": 0.0,
          "y": 1.0,
          "z": 0.0,
          "magnitude": 1.0,
          "sqrMagnitude": 1.0
        },
        "s_type": "PointFact",
        "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1622",
        "Label": "B",
        "hasCustomLabel": false,
        "LabelId": 2
      },
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1623": {
        "s_type": "LineFact",
        "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1621",
        "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1622",
        "Dir": {
          "x": 0.0,
          "y": -1.0,
          "z": 0.0,
          "magnitude": 1.0,
          "sqrMagnitude": 1.0
        },
        "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1623",
        "Label": "[AB]",
        "hasCustomLabel": false,
        "LabelId": 0
      }
    },
    "name": null,
    "path": null
  },
  "solution_approches": [],
  "AllowedScrolls": [
    "OppositeLen"
  ],
  "AllowedGadgets": [
    {
      "s_type": "Pointer",
      "Rank": 1,
      "UiName": "Pointer",
      "MaxRange": "Infinity",
      "MaxHeight": "Infinity",
      "ButtonIndx": 1,
      "MaterialIndx": 0,
      "IgnoreLayerMask": {
        "value": 269858
      },
      "SecondaryLayerMask": {
        "value": 0
      },
      "Workflow": []
    },
    {
      "s_type": "Tape",
      "Rank": 2,
      "UiName": "Tape",
      "MaxRange": 2.5,
      "MaxHeight": 2.5,
      "ButtonIndx": 2,
      "MaterialIndx": 0,
      "IgnoreLayerMask": {
        "value": 391714
      },
      "SecondaryLayerMask": {
        "value": 0
      },
      "Workflow": []
    },
    {
      "s_type": "AngleTool",
      "Rank": 3,
      "UiName": "Angle Tool",
      "MaxRange": "Infinity",
      "MaxHeight": "Infinity",
      "ButtonIndx": 3,
      "MaterialIndx": 1,
      "IgnoreLayerMask": {
        "value": 391718
      },
      "SecondaryLayerMask": {
        "value": 0
      },
      "Workflow": []
    },
    {
      "s_type": "LineTool",
      "Rank": 4,
      "UiName": "Line Tool",
      "MaxRange": "Infinity",
      "MaxHeight": "Infinity",
      "ButtonIndx": 4,
      "MaterialIndx": 0,
      "IgnoreLayerMask": {
        "value": 391714
      },
      "SecondaryLayerMask": {
        "value": 0
      },
      "Workflow": []
    },
    {
      "s_type": "LotTool",
      "Rank": 5,
      "UiName": "Lot Tool",
      "MaxRange": "Infinity",
      "MaxHeight": "Infinity",
      "ButtonIndx": 5,
      "MaterialIndx": 0,
      "IgnoreLayerMask": {
        "value": 365090
      },
      "SecondaryLayerMask": {
        "value": 0
      },
      "Workflow": []
    },
    {
      "s_type": "Pendulum",
      "Rank": 6,
      "UiName": "Pendulum",
      "MaxRange": "Infinity",
      "MaxHeight": "Infinity",
      "ButtonIndx": 6,
      "MaterialIndx": 0,
      "IgnoreLayerMask": {
        "value": 391714
      },
      "SecondaryLayerMask": {
        "value": 1
      },
      "Workflow": []
    },
    {
      "s_type": "Remover",
      "Rank": 8,
      "UiName": "Delete Fact",
      "MaxRange": "Infinity",
      "MaxHeight": "Infinity",
      "ButtonIndx": 8,
      "MaterialIndx": 0,
      "IgnoreLayerMask": {
        "value": 328243
      },
      "SecondaryLayerMask": {
        "value": 0
      },
      "Workflow": []
    }
  ],
  "name": "TechDemo B",
  "path": null
}