public class ConstraintVector

java.lang.Object
   |
   +----java.util.Vector
           |
           +----ConstraintVector

public class ConstraintVector
  extends Vector

A vector of constraints.

ConstraintVector()

create()

Add a new constraint to the vector.

gap(int, int, int)

Add a gap of size d between variables x and y.

get(int)

Find the constraints about variable x.

public ConstraintVector();

public void create();

Add a new constraint to the vector.

gap

public void gap(int d,
                int x,
                int y);

Add a gap of size d between variables x and y.

Parameters:

d - the minimum distance.

x - the variable to update.

y - the other variable.

get

public Constraint get(int x);

Find the constraints about variable x.

Parameters:

x - the variable to look up.

Returns:

the constraints on x.

ConstraintVector.html