C# (CSharp) Branch.AddNewFormula Examples

Example #1

        protected override void HandleTrueCase(Branch branch)
        {
            branch.AddNewFormula(new BranchItem(Conjunction.RightSubformula, TruthLabel.True));
            branch.AddNewFormula(new BranchItem(Conjunction.LeftSubformula, TruthLabel.True));

            ComputeRepresentingNode(branch);
        }

Example #2

File: NegationTableau.cs Project: Sykorajakku/TS-web-app

 protected override void HandleFalseCase(Branch branch)
 {
     branch.AddNewFormula(new BranchItem(Negation.Subformula, TruthLabel.GetOpposite()));
     ComputeRepresentingNode(branch);
 }