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.10
See Also:
  • "Michel, P. and Lauther U. and Duzy, P., The Synthesis Approach to Digital System Design, Kluwer Academic Publisher, 1992"
  • Constructor Details

    • 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 Details

    • names

      public List<String> names()
      Description copied from class: Filter
      It specifies the names of the operations for the representation of the solution in textual form.
      Specified by:
      names in class Filter
      Returns:
      list of names.
    • namesPipeline

      public List<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 class Filter
      Returns:
      list of names.