Exemplo n.º 1
0
        protected override void HandleTrueCase(Branch branch)
        {
            var literal = new Literal(Variable.Symbol, TruthLabel);

            branch.AddLiteral(literal);

            ComputeRepresentingNode(branch);
        }