Added by Andrei Tatarnikov almost 10 years ago. Updated almost 10 years ago.
100%
Description
The ru.ispras.fortress.esexpr package added in revisions r709 и r710 does not contain any description. It is not obvious what purpose it is supposed to serve. Corresponding JavaDoc comments should be included in the source code (including headers with the ISP RAS copyright).
Proper JavaDoc is to be added for sure, this is just simple description.
ESExpr stands for extended S-expression which represents Lisp-style textual (i.e. uninterpreted) S-expressions like (a b c).
ESExprParser is simple parser for such expressions ignoring ; one-line comments.
ESExprMatcher is expression structure matcher that uses same textual List-style notation and several wildcards -- two for now: %a that matches any atom including NIL, %s that matches any S-expression including atoms. It allows much more readable matching than one based on regex.
Package is experimental, mostly for SMT bridge.
Legal notice headers has landed in r730.