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_multiple_expressions(module)	Get the multiple expressions in the module.
ast_get_simple_function(function)	Get the arguments, return type, and body of a simple function.

Classes

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