#!/usr/bin/env python3
# A script for translation of a standard Buchi automaton in Rabit's BA format
# into the Hanoi Omega Automata format.

import sys
import parse_ba as BA


###########################################
if __name__ == '__main__':
    argc = len(sys.argv)
    if argc == 1:
        fd = sys.stdin
    elif argc == 2:
        fd = open(sys.argv[1], "r")
    else:
        print("Invalid number of arguments: either 0 or 1 required")
        sys.exit(1)

    aut = BA.parseBA(fd)
    res = BA.aut2HOA(aut)

    print(res, end="")

    if argc == 2:
        fd.close()

8ca8e95a235553b23c0a737e2514e68d1fe80fc4
<mask token>

<mask token>
if __name__ == '__main__':
    argc = len(sys.argv)
    if argc == 1:
        fd = sys.stdin
    elif argc == 2:
        fd = open(sys.argv[1], 'r')
    else:
        print('Invalid number of arguments: either 0 or 1 required')
        sys.exit(1)
    aut = BA.parseBA(fd)
    res = BA.aut2HOA(aut)
    print(res, end='')
    if argc == 2:
        fd.close()

import sys
import parse_ba as BA
if __name__ == '__main__':
    argc = len(sys.argv)
    if argc == 1:
        fd = sys.stdin
    elif argc == 2:
        fd = open(sys.argv[1], 'r')
    else:
        print('Invalid number of arguments: either 0 or 1 required')
        sys.exit(1)
    aut = BA.parseBA(fd)
    res = BA.aut2HOA(aut)
    print(res, end='')
    if argc == 2:
        fd.close()

#!/usr/bin/env python3
# A script for translation of a standard Buchi automaton in Rabit's BA format
# into the Hanoi Omega Automata format.

import sys
import parse_ba as BA


###########################################
if __name__ == '__main__':
    argc = len(sys.argv)
    if argc == 1:
        fd = sys.stdin
    elif argc == 2:
        fd = open(sys.argv[1], "r")
    else:
        print("Invalid number of arguments: either 0 or 1 required")
        sys.exit(1)

    aut = BA.parseBA(fd)
    res = BA.aut2HOA(aut)

    print(res, end="")

    if argc == 2:
        fd.close()
