92 lines
2.9 KiB
Python
92 lines
2.9 KiB
Python
#!/usr/bin/env python3
|
|
# -*- coding: utf-8 -*-
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
# IMPORTS
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
import os;
|
|
import sys;
|
|
# sys.tracebacklimit = 0;
|
|
from dotenv import dotenv_values;
|
|
from lark import Tree;
|
|
from textwrap import dedent;
|
|
from typing import List;
|
|
|
|
sys.path.insert(0, os.getcwd());
|
|
|
|
from aussagenlogik.schema import stringToSyntaxbaum;
|
|
from aussagenlogik.syntaxbaum import SyntaxBaum;
|
|
from aussagenlogik.rekursion import rekursiv_eval;
|
|
from aussagenlogik.rekursion import rekursiv_atoms;
|
|
from aussagenlogik.rekursion import rekursiv_depth;
|
|
from aussagenlogik.rekursion import rekursiv_length;
|
|
from aussagenlogik.rekursion import rekursiv_parentheses;
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
# GLOBALE KONSTANTEN
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
DATA_ENV = "data.env"; # Pfad zu Daten.
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
# HAUPTVORGANG
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
def main():
|
|
## Daten einlesen:
|
|
expr, I = getData();
|
|
## Formel in Teilformeln zerlegen:
|
|
fml = stringToSyntaxbaum(expr);
|
|
## Methoden ausführen:
|
|
results = dict(
|
|
eval = rekursiv_eval(fml, I),
|
|
atoms = rekursiv_atoms(fml),
|
|
d = rekursiv_depth(fml),
|
|
l = rekursiv_length(fml),
|
|
p = rekursiv_parentheses(fml),
|
|
);
|
|
## Resultate anzeigen:
|
|
display_results(expr, fml, I, results);
|
|
return;
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
# SONSTIGE METHODEN
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
def getData():
|
|
data = dotenv_values(dotenv_path=DATA_ENV);
|
|
expr = data['expr'] or '0';
|
|
I = eval(data['interpretation'] or '[]');
|
|
return expr, I;
|
|
|
|
def display_results(expr: str, fml: SyntaxBaum, I: List[str], results: dict):
|
|
print(dedent(
|
|
'''
|
|
Syntaxbaum von
|
|
F := \033[92;1m{F}\033[0m:
|
|
'''.format(F=fml)
|
|
));
|
|
print(fml.pretty());
|
|
print(dedent(
|
|
'''
|
|
Für I = [{I}] und F wie oben gilt
|
|
eval(F, I) = \033[94;1m{eval}\033[0m,
|
|
\033[2matoms(F) = \033[94;1m{atoms}\033[0m; \033[91;1m<- *\033[0m
|
|
\033[2mdepth(F) = \033[94;1m{d}\033[0m; \033[91;1m<- *\033[0m
|
|
\033[2mlength(F) = \033[94;1m{l}\033[0m; \033[91;1m<- *\033[0m
|
|
\033[2m#parentheses(F) = \033[94;1m{p}\033[0m; \033[91;1m<- *\033[0m
|
|
|
|
\033[91;1m*\033[0m \033[2mnoch nicht implementiert!\033[0m
|
|
\033[1;2;4mChallenge:\033[0m \033[2mschreibe diese Methoden! (siehe README.md)\033[0m
|
|
'''.format(**results, I=', '.join(I))
|
|
));
|
|
return;
|
|
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
# CODE AUSFÜHREN
|
|
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
if __name__ == '__main__':
|
|
main();
|