KeyNotFoundException

[nojaf]

Hi, I'm trying out this library and it would be nice if I could do the following:

open Proviant

let expression = "INTERACTIVE || (FOO && BAR) || BUZZ"
let expr = BooleanAlgebraExpression(expression)

expr.GenerateTruthTable()
let result = expr.Evaluate()

However when executing GenerateTruthTable or Evaluate I get a System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary. exception.

How should my expression syntax be looking in this case?

[Genfood]

Hey,

first of all, which language are you using? :)

If you like to create a truth table try to use variables like 'a', 'b', 'c', ... instead of INTERACTIVE, foo or bar.
And it is only necessary to call:

let truthTable = expr.GenerateTruthTable()

If you like to evaluate a finished expression like false || true you could use

let result = expr.Evaluate()

I will add a sample Project using C# so you could take a look at it.

And its important that u add a space between every token, also between the brackets:
let expression = "INTERACTIVE || ( FOO && BAR ) || BUZZ"

[nojaf]

I'm using F# here, but that shouldn't really matter.
Trying let expression = "a | ( b && c ) | d" works, however, it is unfortunate that I have to modify my original expression.
Could the parsing engine by improved for this scenario?

[Genfood]

No that shouldn't matter. :)

You are right, that could be annoying.
So far I always pre checked if the expression matched this pattern.
I will take a quick look, I think it shouldn't be that hard to allow all kind of placeholders instead of just the alphabet.

But the spaces are necessary so far, but I will do some brainstorming for a normalization...