Exemplos de TruthTree2 DrawableViewer em C# (CSharp)

Exemplo n.º 1

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

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

            pViewer.Show();
        }

Exemplo n.º 2

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

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

            tViewer.Show();
        }