HerbInterpret.jl Documentation

evaluate_program(program::RuleNode, examples::Vector{<:IOExample}, grammar::AbstractGrammar, evaluation_function::Function)

Runs a program on the examples and returns tuples of actual desired output and the program's output

execute_on_input(grammar::AbstractGrammar, program::RuleNode, input::Dict{Symbol, T})::Any where T

Converts a RuleNode program into an expression using a given grammar, then evaluates this expression with a single input dictionary input and a symbol table derived from the grammar using execute_on_input(tab::SymbolTable, expr::Any, input::Dict{Symbol, T}).

Arguments

• grammar::AbstractGrammar: A grammar object used to convert the RuleNode into an executable expression.
• program::RuleNode: The program, represented as a RuleNode, to be converted and evaluated.
• input::Dict{Symbol, T}: A dictionary providing input values for symbols used in the generated expression.

Returns

• Any: The result of evaluating the generated expression with the given input dictionary.

execute_on_input(grammar::AbstractGrammar, program::RuleNode, input::Vector{T})::Vector{Any} where T <: Dict{Symbol, <:Any}

Converts a RuleNode program into an expression using a given grammar, then evaluates this expression for each input dictionary in a vector input and a symbol table derived from the grammar using execute_on_input(tab::SymbolTable, expr::Any, input::Dict{Symbol, T}).

Arguments

• grammar::AbstractGrammar: A grammar object used to convert the RuleNode into an executable expression.
• program::RuleNode: The program, represented as a RuleNode, to be converted and evaluated.
• input::Vector{T}: A vector of dictionaries, each providing input values for symbols used in the generated expression.

Returns

• Vector{Any}: A vector containing the results of evaluating the generated expression for each input dictionary.

execute_on_input(tab::SymbolTable, expr::Any, input::Dict{Symbol, T})::Any where T

Evaluates an expression expr within the context of a symbol table tab and a single input dictionary input. The input dictionary keys should match the symbols used in the expression, and their values are used during the expression's evaluation.

Arguments

• tab::SymbolTable: A symbol table containing predefined symbols and their associated values or functions.
• expr::Any: The expression to be evaluated. Can be any Julia expression that is valid within the context of the provided symbol table and input.
• input::Dict{Symbol, T}: A dictionary where each key is a symbol used in the expression, and the value is the corresponding value to be used in the expression's evaluation. The type T can be any type.

Returns

• Any: The result of evaluating the expression with the given symbol table and input dictionary.

execute_on_input(tab::SymbolTable, expr::Any, input::Vector{T})::Vector{<:Any} where T <: Dict{Symbol, <:Any}

Wrapper around execute_on_input to execute all inputs given as an array.

Arguments

• tab::SymbolTable: A symbol table containing predefined symbols and their associated values or functions.
• expr::Any: The expression to be evaluated for each input dictionary.
• inputs::Vector{T}: A vector of dictionaries, each serving as an individual set of inputs for the expression's evaluation.

Returns

• Vector{<:Any}: A vector containing the results of evaluating the expression for each input dictionary.

interpret(tab::SymbolTable, ex::Expr)

Evaluates an expression without compiling it. Uses AST and symbol lookups. Only supports :call and :(=) expressions at the moment.

Example usage:

tab = SymbolTable(:f => f, :x => x)
ex = :(f(x))
interpret(tab, ex)

WARNING: This function throws exceptions that are caused in the given expression. These exceptions have to be handled by the caller of this function.

test_all_examples(tab::SymbolTable, expr::Any, examples::Vector{IOExample})::Vector{Bool}

Runs the interpreter on all examples with the given input table and expression. The symbol table defines everything (functions, symbols) that are not input variables to the program to be synthesised. Returns a list of true/false values indicating if the expression satisfies the corresponding example. WARNING: This function throws exceptions that are caused in the given expression. These exceptions have to be handled by the caller of this function.

test_examples(tab::SymbolTable, expr::Any, examples::Vector{IOExample})::Bool

Evaluates all examples and returns true iff all examples pass. Shortcircuits as soon as an example is found for which the program doesn't work. Returns false if one of the examples produces an error.