Package de.cau.cs.kieler.krep.compiler.main

Class Summary
Ec2ceq Compile ec file intoclock equations and write them again as Lustre (or ec) files.
Ec2klp Compile Lustre ec-file to KLP assembler.
Scade2klp Compile Lustre ec-file to KLP assembler.