[augeas-devel] A question about libfa

[Du Li]

Hello,

I'm interested in libfa. I took a look at the source codes. I don't find
a method like BasicOperations.run(Automaton a, String s) in
dk.brics.automaton, which can check whether a string can be accepted by
the automata or not. Does this libfa have this feature? I believe libfa
has this feature since this is the basic operation of automata. Right?

Thanks a lot!

Du Li