PrettyPrinter for the B AST

build.gradle

src/main/java/de/tla2b/analysis/BOperation.java

src/main/java/de/tla2b/analysis/SpecAnalyser.java

src/main/java/de/tla2b/analysis/TypeChecker.java

src/main/java/de/tla2b/config/ConfigfileEvaluator.java

src/main/java/de/tla2b/config/ModuleOverrider.java

src/main/java/de/tla2b/pprint/ASTPrettyPrinter.java

src/main/java/de/tla2b/pprint/AbstractExpressionPrinter.java

src/main/java/de/tla2b/pprint/BAstCreator.java

src/main/java/de/tla2b/pprint/BMachinePrinter.java

src/main/java/de/tla2b/translation/ExpressionTranslator.java

src/main/java/de/tla2b/translation/Tla2BTranslator.java

src/main/java/de/tla2b/types/EnumType.java

src/main/java/de/tla2b/types/PairType.java

src/main/java/de/tla2b/types/TupleType.java

src/main/java/de/tla2bAst/TLAParser.java

src/main/java/de/tla2bAst/Translator.java

src/test/java/de/tla2b/examples/ForDistribution.java

src/test/java/de/tla2b/prettyprintb/BBuiltInsTest.java

src/test/java/de/tla2b/prettyprintb/FunctionTest.java