Package tools.refinery.store.statecoding.stateequivalence

Interface NodePairing

All Known Implementing Classes:
CombinationNodePairing, TrivialNodePairing
public interface NodePairing

  • Method Summary

    Modifier and Type
    Method
    Description
    static NodePairing
    constructNodePairing(org.eclipse.collections.api.set.primitive.IntSet left, org.eclipse.collections.api.set.primitive.IntSet right)
     
    boolean
    isComplete()
     
    List<org.eclipse.collections.api.map.primitive.IntIntMap>
    permutations()
     
    int
    size()
     

  • Method Details

    • size

      int size()

    • permutations

      List<org.eclipse.collections.api.map.primitive.IntIntMap> permutations()

    • isComplete

      boolean isComplete()

    • constructNodePairing

      static NodePairing constructNodePairing(org.eclipse.collections.api.set.primitive.IntSet left, org.eclipse.collections.api.set.primitive.IntSet right)