Python fmt Examples

Example #1

File: test_expr.py Project: silky/d_separation

def test_fmt():
    root_expr = prob([v('z')], [do(v('x'))])
    assert fmt(root_expr) == 'pr(z|do(x))'

Example #2

File: test_expr.py Project: fcostin/d_separation

def test_fmt():
    root_expr = prob([v("z")], [do(v("x"))])
    assert fmt(root_expr) == "pr(z|do(x))"

Example #3

def pleasantly_fmt(bindings, expr):
    new_labels = make_pleasant_variable_names(bindings)
    pleasant_expr = relabel_expr(new_labels, expr)
    return str(E.fmt(pleasant_expr))

Example #4

 def __str__(self):
     total_length = self.length + self.heuristic_length
     return '<ProofState L=%1.1f expr=%s>' % (total_length,
                                              fmt(self.root_expr))

Example #5

File: proof_state.py Project: fcostin/d_separation

 def __str__(self):
     total_length = self.length + self.heuristic_length
     return '<ProofState L=%1.1f expr=%s>' % (total_length, fmt(self.root_expr))