teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

typevar to placate flake8

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2018-12-19 11:40:58 -08:00
parent 7054e81dde
commit 24971df0d6
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
mtl/parser.py
View file

@ -1,11 +1,16 @@
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
import operator as op import operator as op
from functools import partialmethod, reduce from functools import partialmethod, reduce
from typing import TypeVar
from parsimonious import Grammar, NodeVisitor from parsimonious import Grammar, NodeVisitor
from mtl import ast from mtl import ast
from mtl import sugar from mtl import sugar
MTL = TypeVar("MTL")
MTL_GRAMMAR = Grammar(u''' MTL_GRAMMAR = Grammar(u'''
phi = (neg / paren_phi / next / bot / top phi = (neg / paren_phi / next / bot / top
/ xor_outer / iff_outer / implies_outer / and_outer / or_outer / xor_outer / iff_outer / implies_outer / and_outer / or_outer