choco.kernel.solver.constraints.integer.extension
Interface IterLargeRelation

All Known Implementing Classes:
IterTuplesTable

public interface IterLargeRelation

A large relation that provides the seekNextSupport function from a given support of given pair var/val and indexes the tuples by integers to store (eventually) the support as StoredInt


Method Summary
 int getNbSupport(int var, int val)
          returns the number of supports for the pair (var,val)
 int[] getTuple(int support)
          return the tuple corresponding to the given index
 int seekNextTuple(int oldIdxSupport, int var, int val)
          seek from the next support available from the index of the old support and the pair variable/value given in argument
 

Method Detail

seekNextTuple

int seekNextTuple(int oldIdxSupport,
                  int var,
                  int val)
seek from the next support available from the index of the old support and the pair variable/value given in argument

Parameters:
oldIdxSupport -
var -
val -
Returns:

getTuple

int[] getTuple(int support)
return the tuple corresponding to the given index

Parameters:
support -
Returns:

getNbSupport

int getNbSupport(int var,
                 int val)
returns the number of supports for the pair (var,val)

Parameters:
var -
val -
Returns:


Copyright © 2012. All Rights Reserved.