Permalink
Browse files

Docs: Clarified use of .serialize with example

  • Loading branch information...
marcogario committed Nov 18, 2017
1 parent 94983ab commit a86c684b9c0a1f0bb17df44415e91c5ba64144e1
Showing with 8 additions and 180 deletions.
  1. +0 −177 docs/Makefile
  2. +8 −3 docs/getting_started.rst
View

This file was deleted.

Oops, something went wrong.
View
@@ -86,7 +86,7 @@ common operations using pySMT.
The Problem
~~~~~~~~~~~
"""""""""""
The problem that we are going to solve is the following:
@@ -96,7 +96,7 @@ The problem that we are going to solve is the following:
Is there a value for each letter so that H+E+L+L+O = W+O+R+L+D = 25?
The Basics
~~~~~~~~~~
""""""""""
The module :py:mod:`pysmt.shortcuts` provides the most used functions of the
library. These are simple wrappers around functionalities provided by
@@ -142,7 +142,12 @@ symbols. Comprehensions are so common in pySMT that n-ary operators
structure of the formula looks like, without flooding the
output when formulas are huge. If you want to print the
whole formula, you need to call the
:py:meth:`~pysmt.fnode.FNode..serialize()` method.
:py:meth:`~pysmt.fnode.FNode..serialize()` method: ::
print(formula) # (x & (y | ... ))
print(formula.serialize()) # (x & (y | (z | y)))
Defaults methods for formula allow for simple printing. Checking
satisfiability can also be done with a one-liner.

0 comments on commit a86c684

Please sign in to comment.