Package org.jacop.examples.fd.filters
Class EWF
- java.lang.Object
-
- org.jacop.examples.fd.filters.Filter
-
- org.jacop.examples.fd.filters.EWF
-
public class EWF extends Filter
It specifies EWF benchmark.Source:
- Version:
- 4.7
- See Also:
- "Michel, P. and Lauther U. and Duzy, P., The Synthesis Approach to Digital System Design, Kluwer Academic Publisher, 1992"
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<java.lang.String>
names()
It specifies the names of the operations for the representation of the solution in textual form.java.util.List<java.lang.String>
namesPipeline()
It specifies the names of the operations for the textual representation of the pipelined solution.
-
-
-
Constructor Detail
-
EWF
public EWF()
It constructs a simple EWF filter.
-
EWF
public EWF(int addDel, int mulDel)
It constructs a EWF filter with the specified delay for the addition and multiplication operation.- Parameters:
addDel
- the delay of the addition operation.mulDel
- the delay of the multiplication operation.
-
-
Method Detail
-
names
public java.util.List<java.lang.String> names()
Description copied from class:Filter
It specifies the names of the operations for the representation of the solution in textual form.
-
namesPipeline
public java.util.List<java.lang.String> namesPipeline()
Description copied from class:Filter
It specifies the names of the operations for the textual representation of the pipelined solution.- Specified by:
namesPipeline
in classFilter
- Returns:
- list of names.
-
-