コード例 #1
0
def to_formula(s):
    return formula_parser.parse(s, lexer=lexer).compile_with_sort_inference()
コード例 #2
0
ファイル: ivy_logic_utils.py プロジェクト: odedp/ivy 
def to_formula(s):
    return formula_parser.parse(s,lexer=lexer).compile_with_sort_inference()