concepts.dsl.expression_utils#

Functions

ground_fol_expression(expression, ...)

Ground the given FOL expression with the given variable mapping.

ground_fol_expression_v2(expression, ...)

Ground the given FOL expression with the given variable mapping.

simplify_bool_expr(expr[, propagate_negation])

Simplify a Boolean expression.

surface_fol_downcast(expression_1, expression_2)

Trying to downcast the expression_1 to the same form as expression_2.