def apply_sol_expr(expr, sol):
"""
apply the solution SOL (DictType {string variable name : boolean value}
to the expression EXPR
"""
return PBA.apply_sol_expr(expr, sol)
def apply_sol_expr(expr, sol):
"""
apply the solution SOL (DictType {string variable name : boolean value}
to the expression EXPR
"""
return PBA.apply_sol_expr(expr, sol)
