Uses of Class
de.cau.cs.kieler.krep.compiler.lustre.WhenExpression

Packages that use WhenExpression
de.cau.cs.kieler.krep.compiler.lustre Implementation of arbitrary Lustre equations. 
 

Uses of WhenExpression in de.cau.cs.kieler.krep.compiler.lustre
 

Methods in de.cau.cs.kieler.krep.compiler.lustre with parameters of type WhenExpression
 boolean WhenExpression.sameClock(WhenExpression w)