concepts.dsl.parsers.fol_python_parser#

Functions

ast_get_expression(module)

Get the single expression in the module.

ast_get_function_definition(module)

Get the single function definition in the module.

ast_get_literal_or_class_name(const)

Get the literal value or identifier name of a constant.

ast_get_simple_function(function)

Get the arguments, return type, and body of a simple function.

Classes

FOLPythonParser

A parser to parse first-order logic (FOL) expressions in Python syntax.