Invariants

From CometPublic

Contents 1 Global Invariants 1.1 Indices 1.2 CardIndices 1.3 SortedIntSet 1.4 DistanceCount 1.5 Distances

[edit] Global Invariants

[edit] Indices

  class Indices {
     var{set(int)}[] get();
     Indices::Indices(var{int}[]);
  }
   

[edit] CardIndices

  class CardIndices {
     var{int}[] get();
     CardIndices::CardIndices(var{int}[]);
  }
    

[edit] SortedIntSet

  class SortedIntSet {
     SortedIntSet::SortedIntSet(LocalSolver,var{set(int)},var{int}[]);
     int getSize();
     int atRank(int);
     int getRank(int);
  }
  
  

[edit] DistanceCount

  class DistanceCount {
     var{int}[] get();
     DistanceCount::DistanceCount(var{int}[],int[]);
  }
  

[edit] Distances

  class Distances {
     Distances::Distances(var{int}[]);
     void add(int,int,int);
     void close();
     void assign(int,int);
     var{boolean} isTrue();
     var{int} violationDegree();
     int igetViolations(int);
     int igetAssignDelta(int,int);
     var{int} iviolations(int);
     LocalSolver getLocalSolver();
  }