Creates a copy of the given CSP
Creates a copy of the given CSP
original CSP
integer variables
Boolean variables
domains of integer variables
constraints
Adds constraints
Adds constraints
Adds constraints
Adds a Boolean variable
Adds Boolean variables
Adds Boolean variables
Boolean variables
Returns the Boolean variables added after the last commit.
Cancels the changes made for the CSP.
Commits the changes made for the CSP.
constraints
Returns the constraints added after the last commit.
domains of integer variables
Resets the CSP by setting variables, bools, dom, and constraints to be empty.
Adds an integer variable
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Returns true when the maximization is specified
Returns true when the minimization is specified
Specifies the objective variable to be maximized
Specifies the objective variable to be minimized
Objective variable.
Objective variable. null
if not defined
Returns the readable String representation of the CSP
Checks whether the CSP is satisfied by the solution
integer variables
Returns the integer variables added after the last commit.
Case class of CSP (Constraint Satisfaction Problem)
integer variables
Boolean variables
domains of integer variables
constraints