Browse Source

master > master: codego - minor fix

master
RD 1 year ago
parent
commit
38c4614e3e
  1. 2
      codego/aussagenlogik/recursion/recursion_eval.go

2
codego/aussagenlogik/recursion/recursion_eval.go

@ -14,7 +14,7 @@ func Eval(fml formulae.Formula, I []string) int {
var schema = func(_I []string) func(formulae.Formula, []int) int {
return func(fml formulae.Formula, prevValues []int) int {
if fml.IsAtom() || fml.IsGeneric() {
return utils.BoolToInt(utils.StrListContains(_I, fml.GetExpr()))
return utils.BoolToInt(utils.StrListContains(_I, fml.GetName()))
} else if fml.IsTautologySymbol() {
return 1
} else if fml.IsContradictionSymbol() {

Loading…
Cancel
Save