protected override void HandleTrueCase(Branch branch) { var literal = new Literal(Variable.Symbol, TruthLabel); branch.AddLiteral(literal); ComputeRepresentingNode(branch); }
protected override void HandleTrueCase(Branch branch) { var literal = new Literal(Variable.Symbol, TruthLabel); branch.AddLiteral(literal); ComputeRepresentingNode(branch); }