A G I L O S T

A

AbstractCutoffStrategy - Class in org.chocosolver.cutoffseq

Abstract class to generate cutoff sequence

AbstractCutoffStrategy(long) - Constructor for class org.chocosolver.cutoffseq.AbstractCutoffStrategy

Create a abstract class with the specific scaleFactor.

G

GeometricalCutoffStrategy - Class in org.chocosolver.cutoffseq

A geometrical cutoff strategy.

GeometricalCutoffStrategy(long, double) - Constructor for class org.chocosolver.cutoffseq.GeometricalCutoffStrategy

A geometrical cutoff strategy.

getNextCutoff() - Method in class org.chocosolver.cutoffseq.GeometricalCutoffStrategy

getNextCutoff() - Method in interface org.chocosolver.cutoffseq.ICutoffStrategy

getNextCutoff() - Method in class org.chocosolver.cutoffseq.LubyCutoffStrategy

From SAT 2012: computing Luby values the way presented by Donald Knuth in his invited talk at the SAT 2012 conference.

I

ICutoffStrategy - Interface in org.chocosolver.cutoffseq

Interface defining service for cutoff strategy: a sequence of cutoff

L

LubyCutoffStrategy - Class in org.chocosolver.cutoffseq

A Luby cutoff strategy.

LubyCutoffStrategy(long) - Constructor for class org.chocosolver.cutoffseq.LubyCutoffStrategy

A Luby cutoff strategy.

O

org.chocosolver.cutoffseq - package org.chocosolver.cutoffseq

S

scaleFactor - Variable in class org.chocosolver.cutoffseq.AbstractCutoffStrategy

The scale factor, should be strictly positive

T

toString() - Method in class org.chocosolver.cutoffseq.GeometricalCutoffStrategy

toString() - Method in class org.chocosolver.cutoffseq.LubyCutoffStrategy

A G I L O S T