C# (CSharp) PropositionLibrary FormulaRpn.SubstituteInFormula Examples

Example #1

        public Formula SubstituteInFormula(Dictionary <PropositionalVariable, Formula> substitutions)
        {
            var sub = substitutions.ToDictionary(x => x.Key, x => x.Value._rpn);

            return(new Formula(_rpn.SubstituteInFormula(sub)));
        }