C# (CSharp) TruthTree2 DrawableViewer示例

示例#1

        private void bShowProof_Click(object sender, EventArgs e)
        {
            if (proof == null)
            {
                return;
            }

            DrawableViewer pViewer = new DrawableViewer(proof, "Proof");

            pViewer.Show();
        }

示例#2

        private void bShowTree_Click(object sender, EventArgs e)
        {
            if (tree == null)
            {
                return;
            }

            DrawableViewer tViewer = new DrawableViewer(tree, "Tree");

            tViewer.Show();
        }