Uploaded image for project: 'Sat4j'
  1. Sat4j
  2. SAT-12

Use List instead of IVec in DependencyHelper.getSolution()

    Details

    • Type: Improvement
    • Status: Resolved
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: 2.2.2, 2.2.3, 2.3.0
    • Fix Version/s: 2.3.1
    • Component/s: pseudo
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      Currently, the DependencyHelper class returns an IVec object, i.e. a Sat4j specific data structure.

      Since the DependencyHelper is supposed to be embedded in Java software, it is probably wise to use only Java classical data structure to interact with that class.
      We could use for instance a java.util.List object instead of an IVec.

      The main issue here is that it would break the API: the DependencyHelper class exists since Sat4j 2.1.

        Activity

        Hide
        leberre Daniel Le Berre added a comment -

        Fixed in r972. DependencyHelper now has a getASolution() method returning a Collection (while getSolution() - no A - still returns an IVec).

        Show
        leberre Daniel Le Berre added a comment - Fixed in r972. DependencyHelper now has a getASolution() method returning a Collection (while getSolution() - no A - still returns an IVec).

          People

          • Assignee:
            leberre Daniel Le Berre
            Reporter:
            leberre Daniel Le Berre
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved: