Commit acdc941f by Steven Bird

tweak docs; fix reference to _LogicParser

parent cb2d0a75
...@@ -17,7 +17,7 @@ set-theoretic models. ...@@ -17,7 +17,7 @@ set-theoretic models.
The package has two main components: The package has two main components:
- ``logic`` provides a parser for analyzing expressions of First - ``logic`` provides support for analyzing expressions of First
Order Logic (FOL). Order Logic (FOL).
- ``evaluate`` allows users to recursively determine truth in a - ``evaluate`` allows users to recursively determine truth in a
model for formulas of FOL. model for formulas of FOL.
......
...@@ -348,7 +348,7 @@ Test Parser ...@@ -348,7 +348,7 @@ Test Parser
x(john) x(john)
^ ^
>>> lpq = LogicParser() >>> lpq = _LogicParser()
>>> lpq.quote_chars = [("'", "'", "\\", False)] >>> lpq.quote_chars = [("'", "'", "\\", False)]
>>> print(lpq.parse(r"(man(x) & 'tall\'s,' (x) & walks (x) )")) >>> print(lpq.parse(r"(man(x) & 'tall\'s,' (x) & walks (x) )"))
(man(x) & tall's,(x) & walks(x)) (man(x) & tall's,(x) & walks(x))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment