Added directory for John


git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8609 7aec93f6-bc54-0410-ac70-7d7c9efa889a
init commit


git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8610 7aec93f6-bc54-0410-ac70-7d7c9efa889a
to many files :-)

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8612 7aec93f6-bc54-0410-ac70-7d7c9efa889a
init commit of pyB-pythoncode



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8618 7aec93f6-bc54-0410-ac70-7d7c9efa889a
the changed java files.
This files have to be integrated into the b-parser some day



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8619 7aec93f6-bc54-0410-ac70-7d7c9efa889a
depcricated sets module was replaced by stes class
ast_to_python method was moved to helpery.py for better testing (without that every astgen test calls the interpreter)



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8652 7aec93f6-bc54-0410-ac70-7d7c9efa889a
added more test. tree-traversal-Bug found. The generated python-code is wrong



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8653 7aec93f6-bc54-0410-ac70-7d7c9efa889a
fixed tree-walking bug. The python-code gen is now correct but less elegant.
added more tests
moved an other function to helpers



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8657 7aec93f6-bc54-0410-ac70-7d7c9efa889a
init. commit siemens script. Needs pyQT and dir change (hardcoded)

has a real performance problem with 3000+ files



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8669 7aec93f6-bc54-0410-ac70-7d7c9efa889a
added set ex impl.
added quant. pred tests (impl. not finished)



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8705 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented two functions which enum integers. 
pred like (!(x,y,z).( x>0 & y>0 & z<4 => x+y=z)) or (#(x,y).( x<0 & y>0 & y>x)) are now possible (bad performance)



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8708 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented coupleterms like (1,2,3) and setcomprehensions (only work for integers now)



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8710 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented POW and POW1 + tests

this feature usessets of frozensets. It is not possible to use the set type to make set of sets



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8724 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented realtions dom and ran. This imple. asumes that every relation is a set of 2-tuples



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8725 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented identity id(S) and forward composition


git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8726 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented domain/range restriction/subtraction vial python-list-compreh



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8727 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented more realtions stuff:
inverse relation
realtional image
right overriding

+ tests



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8735 7aec93f6-bc54-0410-ac70-7d7c9efa889a
impemented more relation stuff:

projection 1 and 2
parallel and direct product

+ test



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8736 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented functions:
partial/total injections/surjections/bijections are now possible
+ test



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8759 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented function app for one arg
+test



git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/branches/witulski@8760 7aec93f6-bc54-0410-ac70-7d7c9efa889a