de.cau.cs.kieler.krep.compiler.main
Class Ec2ceq

java.lang.Object
  extended by de.cau.cs.kieler.krep.compiler.main.Ec2ceq

public final class Ec2ceq
extends Object

Compile ec file intoclock equations and write them again as Lustre (or ec) files.

Rating yellow
(2010-02-05) review by cmot, msp, tam

Method Summary
static void main(String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

main

public static void main(String[] args)
Parameters:
args - file name