main.py

# MIT License
#
# Copyright (c) 2022 Nicola Dardanis, Lucas Weitzendorf
#
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
#
# The above copyright notice and this permission notice shall be included in all
# copies or substantial portions of the Software.
#
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
# SOFTWARE.


import os
import random
import argparse

from ffg.gen import gen_configuration
from ffg.emitter import yinyang_emitter, dot_emitter
from ffg.gen.tree_generation import generate_tree
from ffg.visitors.infix_printer_visitor import InfixPrinterVisitor


def parse_args():
    parser = argparse.ArgumentParser(description='Generate fusion functions.')
    parser.add_argument('--verbose', '-v', action='store_true',
                        help='print formulas in standard infix notation to stdout')
    parser.add_argument('--size', '-s', type=int, default=25,
                        help='number of operators in each function')
    parser.add_argument('--num_functions', '-n', type=int,
                        default=10, help='number of functions to generate')
    parser.add_argument('--target', '-t', type=str,
                        default='fusion_functions', help='name of the output file')
    parser.add_argument('--dot', '-d', action='store_true',
                        help='emit formulas and inverses also to dot files')
    parser.add_argument('--theories', choices=gen_configuration.THEORY_OPTIONS, nargs='+',
                        default=[], help='specify the theories to be used during generation')
    return parser.parse_args()


def main(args):
    output_dir = os.path.join(os.path.dirname(__file__), 'out')
    os.makedirs(output_dir, exist_ok=True)

    file_name = args.target
    if not file_name.endswith('.txt'):
        file_name += '.txt'

    if args.theories:
        gen_configuration.set_available_theories(args.theories)

    operator_types = gen_configuration.get_theories()

    if args.verbose:
        print(f"Using theories: {operator_types}")
        print(f"Output to: {os.path.join(output_dir, file_name)}")
        print(f"Number of functions: {args.num_functions}")
        print(f"Function size: {args.size}\n")

    infix_printer = InfixPrinterVisitor()
    trees = []
    for i in range(args.num_functions):
        root_type = random.choice(operator_types)
        tree, size = generate_tree(root_type, args.size, ['x', 'y'], 'z')
        trees.append(tree)
        if args.verbose:
            print(f"{i + 1}. {size} nodes. {tree.accept(infix_printer)}")
    yinyang_emitter.emit(trees, os.path.join(output_dir, file_name), args)
    if args.dot:
        dot_emitter.emit(trees, output_dir)


if __name__ == '__main__':
    main(parse_args())