A B C D E G I L M N P R S T V

A

addConstraint(BinaryConstraint) - Method in class CSPGen.Variable

Called by the BinaryConstraint class constructor to notify the Variable that it is constrained by the given constraint.

addelEdges(int, boolean) - Method in class CSPGen.Problem

allConstraints - Variable in class CSPGen.Problem

An array to record all the constraints in this problem.

allConstraints() - Method in class CSPGen.Problem

Returns an enumeration on all the constraints in the problem.

B

BinaryConstraint - class CSPGen.BinaryConstraint.

This class is used to store the data structure of a single binary constraint.

BinaryConstraint() - Constructor for class CSPGen.BinaryConstraint

Deprecated. DO NOT USE.

BinaryConstraint(Variable, Variable, boolean[][]) - Constructor for class CSPGen.BinaryConstraint

Constructs a new binary constraint.

buildCompleteGraph() - Method in class CSPGen.Problem

the method to build a graph that there is a constraint between any two variables

C

CSPGen - package CSPGen

This package is a generator of Random CSPs.

CheckConstrain(int, int, int, int) - Method in class CSPGen.Problem

The method to judge if two values of two variables are consistent under the binary constraint between these two variables.

connected(int, int) - Method in class CSPGen.Problem

Returns true if there is a a constraint between variable v1 and v2.

connected(Variable, Variable) - Method in class CSPGen.Problem

Returns the BinaryConstraint between v1 and v2 if one exists

connection(int, int, boolean) - Method in class CSPGen.Problem

make the connection between two variables v1 and v2

constrained - Variable in class CSPGen.Problem

An array to record if there is one constraint between two variables.

constrainedBy(Variable) - Method in class CSPGen.Variable

Returns true iff this variable shares a constraint with the given variable.

constrainedBy(int) - Method in class CSPGen.Variable

Returns true iff this variable shares a constraint with the given variable.

constraintWith(Variable) - Method in class CSPGen.Variable

Checks if this variable shares are constraint with the given variable.

constraintWith(int) - Method in class CSPGen.Variable

Checks if this variable shares are constraint with the given variable.

constraints - Variable in class CSPGen.Problem

Records the same information as the constrained table except in the form of pointers to the actual BinaryConstraint instances.

constraints - Variable in class CSPGen.Variable

The pool of all binary constraints this variable is involved in.

constraints() - Method in class CSPGen.Variable

Returns an enumeration on all the constraints involving this Variable.

currentValue - Variable in class CSPGen.Variable

The current value of this variable.

D

domainSize - Variable in class CSPGen.Problem

The domain size of the problem.

domainSize - Variable in class CSPGen.Variable

The domain size of this variable.

E

eliminateValue(int) - Method in class CSPGen.Variable

Removes the given value from into the live domain of this variable.

equal(Variable, Variable) - Static method in class CSPGen.Variable

This method determines if two variables are in fact the same one.

equals(Object) - Method in class CSPGen.BinaryConstraint

Determines if this constraint is equal to the given instance.

equals(Object) - Method in class CSPGen.Variable

Determines if this instance is equal to the given instance.

G

getValue() - Method in class CSPGen.Variable

Returns the current assignment of this variable.

getVariable(int) - Method in class CSPGen.Problem

Returns the Variable with the specified id.

I

id - Variable in class CSPGen.Variable

The unique identifier of this variable.

initArrays(boolean) - Method in class CSPGen.Problem

set all the edges of the graph to be true or false

isConsistant() - Method in class CSPGen.Variable

Returns true iff none of the constraints on this variable are violated.

isSatisfied() - Method in class CSPGen.BinaryConstraint

Checks if this constraint is satisfied given the current state of the problem.

isViolated() - Method in class CSPGen.BinaryConstraint

Checks if this constraint is violated given the current state of the problem.

L

liveDomain - Variable in class CSPGen.Variable

The data structure to record if values are still in the livedomain.

liveDomain(int) - Method in class CSPGen.Variable

Returns true iff the given value is in this variable's live domain.

M

main(String[]) - Static method in class CSPGen.Problem

A testing method that generates 5 pre-set problems and prints a representation of each to the screen.

N

numConstraints() - Method in class CSPGen.Variable

Returns the total number of constraints on this Variable.

P

Problem - class CSPGen.Problem.

Problem class is the generator of flawless Random CSPs.

Problem(long, int, int, double, double) - Constructor for class CSPGen.Problem

Class constructor,the main method to generate a new CSP with five parameters

p1 - Variable in class CSPGen.Problem

The first parameter, as in the constructor of this class.

p2 - Variable in class CSPGen.Problem

The second parameter, as in the constructor of this class.

print() - Method in class CSPGen.Problem

Prints out all the constraints in this problem, one per line, to the standard output.

problem - Variable in class CSPGen.Variable

R

releaseAllValues() - Method in class CSPGen.Variable

Adds all possible values back into the live domain of this variable.

releaseValue(int) - Method in class CSPGen.Variable

Adds the given value back into the live domain of this variable.

S

Seed - Variable in class CSPGen.Problem

The seed value used in the random number generator.

setEdge(int, int, boolean[][]) - Method in class CSPGen.Problem

Deprecated. The BinaryConstraint class now handles these these details on the fly.

setValue(int) - Method in class CSPGen.Variable

Sets the current assignment of this variable.

size - Variable in class CSPGen.Problem

The number of variables in the problem.

T

toString() - Method in class CSPGen.BinaryConstraint

Returns a string representation of this BinaryConstraint.

toString() - Method in class CSPGen.Problem

Returns a string representation of this problem.

truthTable - Variable in class CSPGen.BinaryConstraint

Stores the truth table of this constraint.

truthTable(int, int) - Method in class CSPGen.BinaryConstraint

The truth table of this constraint.

V

V1 - Variable in class CSPGen.BinaryConstraint

The first variable involved in this constraint.

V2 - Variable in class CSPGen.BinaryConstraint

The second variable involved in this constraint.

Variable - class CSPGen.Variable.

An instance of this class represents one variable in a CSP.

Variable(Problem, int, int) - Constructor for class CSPGen.Variable

The constructor of a Variable object, it will be called in the constructor of Problem Class

value() - Method in class CSPGen.Variable

Returns the current assignment of this variable.

value(int) - Method in class CSPGen.Variable

Sets the current assignment of this variable.

variables - Variable in class CSPGen.Problem

An arrary of all the Variables in this problem.

A B C D E G I L M N P R S T V